Full Text Available
Access Full Text at Repository
Search Results - arxiv cs.lo recent paper
-
Cross-Attention and Encoder-Decoder Transformers: A Logical Characterization
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
Online Article RSS Article -
Inference of Qualitative Models from Steady-State Data via Weighted MaxSMT
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Finitary Truly Concurrent Bisimulations
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Evidence-Tracked Tape Semantics for Probabilistic Computation
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
MathlibPR: Pull Request Merge-Readiness Benchmark for Formal Mathematical Libraries
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Computing Short SAT Implicants via Ising/QUBO Encodings
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
A New Interaction Concept for Interactive and Autoactive Program Verification
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Shields to Guarantee Probabilistic Safety in MDPs
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
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: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Preservation Theorems in Semiring Semantics
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
On the Verification Problem of Remote Direct Memory Access programs (Extended Version with Appendix)
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Correct-by-Construction G-Code Generation: A Neuro-Symbolic Approach via Separation Logic
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Coherency through formalisations of Structured Natural Language, A case study on FRETish
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Separation Logic for Verifying Physical Collisions of CNC Programs
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
The Polynomial Counting Capabilities of Message Passing Neural Networks
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
A Deductive Refinement Calculus for Differential-Algebraic Programs
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Just Previsions
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Formal Verification of Imperative First-Class Functions in Move
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Combining Mechanical and Agentic Specification Inference for Move
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
TreeWidzard: An Engine for Width-Based Dynamic Programming and Automated Theorem Proving
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text