Reasoning About Hybrid Assumptions in Assured Temporal Missions Gallery

Reasoning About Hybrid Assumptions in Assured Temporal Missions

Graphical-Probabilistic Modeling of Generative Flows in LLM-Native Software Systems Gallery

Graphical-Probabilistic Modeling of Generative Flows in LLM-Native Software Systems

Adapting Language Models to Produce Good Class Probabilities for Classification Tasks Gallery

Adapting Language Models to Produce Good Class Probabilities for Classification Tasks

Activity homogeneity: a measure for comparing time discretization and state quantization in ODE simulation Gallery

Activity homogeneity: a measure for comparing time discretization and state quantization in ODE simulation

EnCodecMAE: Leveraging Neural Codecs for Universal Audio Representation Learning Gallery

EnCodecMAE: Leveraging Neural Codecs for Universal Audio Representation Learning

Modal Abstractions for Smart Contract Validation Gallery

Modal Abstractions for Smart Contract Validation

Algorithms to prove the maximum number of MUBs in arbitrary dimensión Gallery

Algorithms to prove the maximum number of MUBs in arbitrary dimensión

Hybrid resource allocation control in cyber-physical systems: a novel simulation-driven methodology with applications to UAVs Gallery

Hybrid resource allocation control in cyber-physical systems: a novel simulation-driven methodology with applications to UAVs