Full Text Available
Access Full Text at Repository
Search Results - statistics
-
Stokes' Theorem for Smooth Singular Cubes in Lean 4: True Pullback, Bridges to mathlib4, and Chain-Level d^2=0
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
Online Article RSS Article -
Probabilistic-bit Guided CDCL for SAT Solving using Ising Consensus Assumptions
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Tree transducers of linear size-to-height increase (and the additive conjunction of linear logic)
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
iSMC: A BDD-based Symbolic Model Checker with Interactive Certification
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Backtrackable Inprocessing
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Induction rules for Transition Algebra
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Set-like operations on propositional logic programs
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
A formulation of D-institution using functor categories
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
A Fast Model Counting Algorithm for Two-Variable Logic with Counting and Modulo Counting Quantifiers
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
The Algebra of Iterative Constructions
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Neural networks as fuzzy logic formulas
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Goedel Logics: On the Elimination of The Absoluteness Operator
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Exhaustive Symbolic Integration: Integration by Differentiation and the Landscape of Symbolic Integrability
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Hamilton decompositions of all directed tori at odd modulus
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Continuations and Completeness in Proof-theoretic Semantics
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Logics for Context-free Hyperproperties
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Beyond Ability: The Four-Fold Spectrum of Power and the Logic of Full Inability
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
The Scaling Properties of Implicit Deductive Reasoning in Transformers
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
Probabilistic Floating-Point Round-Off Analysis via Concentration Inequalities
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text
-
ANDRE: An Attention-based Neuro-symbolic Differentiable Rule Extractor
Published in ArXiv cs.LO Recent Papers (2026)Subjects: “…Mathematics & Statistics…”
Get full text