Full Text Available
Access Full Text at Repository
Search Results - statistics
-
täkōFormal: Enabling Robust Software for Programmable Memory Hierarchies (Extended Version)
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
Online Article RSS Article -
Relational Dualities and Bisimulation
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
MANTRA: Synthesizing SMT-Validated Compliance Benchmarks for Tool-Using LLM Agents
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Edit Distance of Finite-Valued Transducers
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Graded Monad Coalgebras for Continuous-Time Transition Systems
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Decidability Results for Fragments of First-Order Logic via a Symbolic Model Property
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Self-Correcting Gossip Protocols
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
A Practical Specification Language for Automatic Quantum Program Verification (Technical Report)
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Paraconsistent Semantics for Extended Fuzzy Logic Programs via Approximation Fixpoint Theory [Extended Version]
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
A Fibrational Perspective on Differential Linear Logic
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Finitary Truly Concurrent Bisimulations
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Evidence-Tracked Tape Semantics for Probabilistic Computation
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Computing Short SAT Implicants via Ising/QUBO Encodings
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
A New Interaction Concept for Interactive and Autoactive Program Verification
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Shields to Guarantee Probabilistic Safety in MDPs
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Constant time testability of first-order logic with modulo counting on finitary graphs
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Preservation Theorems in Semiring Semantics
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text