Combining Mechanical and Agentic Specification Inference for Move

Get full text

TreeWidzard: An Engine for Width-Based Dynamic Programming and Automated Theorem Proving

Get full text

Real-World Gait Speed Estimation: An AI-Based Approach for Adaptive Wearable Devices Integration

Get full text

Weighted Rules under the Stable Model Semantics

Get full text

Categorical Message Passing Language (CaMPL) for programmers

Get full text

Barrier Certificates for Uncertain Temporal Specifications

Get full text

Dsat: A Native SAT Solver for Discrete Logic

Get full text

A Reversible Crumbling Abstract Machine for Plotkin's Call-by-Value

Get full text

Set Automata and Limits of Decidability of Two-Variable Logic on Data Words

Get full text

Well-Scoped Locally Nameless Representation of Syntax

Get full text

Inverter Redistribution through Self-Dual and Self-Anti-Dual Function Transformation

Get full text

Reconciling Consistency-Based Diagnosis with Actual-Causality-Based Explanations

Get full text

Sheaves as a Means of Maintaining Consistency in Model-based Systems Engineering

Get full text

Full Band CP Ferrite-Based Satellite Feed Structure for LEO Satellite Applications

Get full text

Lattice Deduction Transformers

Get full text

MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs

Get full text

ELF: Embedded Language Flows

Get full text

Variational Inference for Lévy Process-Driven SDEs via Neural Tilting

Get full text

DECO: Sparse Mixture-of-Experts with Dense-Comparable Performance on End-Side Devices

Get full text

Quantifying Concentration Phenomena of Mean-Field Transformers in the Low-Temperature Regime

Get full text