Full Text Available
Access Full Text at Repository
Search Results - ArXiv cs.LO Recent Papers
Search alternatives:
- papers »
-
Weighted Rules under the Stable Model Semantics
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
Online Article RSS Article -
Categorical Message Passing Language (CaMPL) for programmers
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Barrier Certificates for Uncertain Temporal Specifications
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Dsat: A Native SAT Solver for Discrete Logic
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
A Reversible Crumbling Abstract Machine for Plotkin's Call-by-Value
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Set Automata and Limits of Decidability of Two-Variable Logic on Data Words
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Well-Scoped Locally Nameless Representation of Syntax
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Inverter Redistribution through Self-Dual and Self-Anti-Dual Function Transformation
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Reconciling Consistency-Based Diagnosis with Actual-Causality-Based Explanations
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Sheaves as a Means of Maintaining Consistency in Model-based Systems Engineering
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Lattice Deduction Transformers
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
MathConstraint: Automated Generation of Verified Combinatorial Reasoning Instances for LLMs
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Extending QuAK with Nested Quantitative Automata
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Fast Obligation Translation and Synthesis
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
sweap: Reactive Synthesis for Infinite-State Integer Problems
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
On Knowledge Compilation For Two-Variable First-Order Logic
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Optimal LTLf Synthesis
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Adaptive Teacher Exposure for Self-Distillation in LLM Reasoning
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text
-
Minimization of Streaming Transducers
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…ArXiv cs.LO Recent Papers…”
Get full text