🔢 Mathematical Logic - DiToast · Scour

Metacat: a categorical framework for formal systems 🔄Category Theory

arxiv.org·5h

Reinforcement Learning with Negative Tests as Completeness Signal for Formal Specification Synthesis 🎲Probabilistic Programming

arxiv.org·2d

Topological entropy of Turing complete dynamics 🔄Category Theory

arxiv.org·5h

On the Decidability of Distributed Tasks with Output Sets under Asynchrony and Any Number of Crashes ⚡Concurrency

arxiv.org·1d

GLANCE: A Global-Local Coordination Multi-Agent Framework for Music-Grounded Non-Linear Video Editing ⚡Concurrency

arxiv.org·2d

Compositionality of Lyapunov functions via assume-guarantee reasoning 🎯Constraint Programming

arxiv.org·3d

On Formally Undecidable Propositions of Nondeterministic Complexity and Related Classes ⚙Functional Programming

arxiv.org·5h

Justified or Just Convincing? Error Verifiability as a Dimension of LLM Quality 🔍Static Analysis

arxiv.org·3d

A Decomposition Perspective to Long-context Reasoning for LLMs ⚙Functional Programming

arxiv.org·5h

ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning 🔍Static Analysis

arxiv.org·1d

SMT with Uninterpreted Functions and Monotonicity Constraints in Systems Biology ⚙Functional Programming

arxiv.org·5h

Geometric Limits of Knowledge Distillation: A Minimum-Width Theorem via Superposition Theory 📊Information Theory

arxiv.org·3d

The Theorems of Dr. David Blackwell and Their Contributions to Artificial Intelligence 🎲Probabilistic Programming

arxiv.org·1d

Munkres' General Topology Autoformalized in Isabelle/HOL 🔄Category Theory

arxiv.org·5h

PROMISE: Proof Automation as Structural Imitation of Human Reasoning 🔍Static Analysis

arxiv.org·2d

On the Decompositionality of Neural Networks 🔄Category Theory

arxiv.org·5h

Evaluating the Formal Reasoning Capabilities of Large Language Models through Chomsky Hierarchy 🎯Constraint Programming

arxiv.org·4d

SAT: Balancing Reasoning Accuracy and Efficiency with Stepwise Adaptive Thinking 🎲Probabilistic Programming

arxiv.org·5h

LLM Reasoning as Trajectories: Step-Specific Representation Geometry and Correctness Signals 🎯Constraint Programming

arxiv.org·2d

When Equality Fails as a Rewrite Principle: Provenance and Definedness for Measurement-Bearing Expressions ⚙Functional Programming

arxiv.org·5h

Loading more...