🔢 Computability Theory - tiferrei · Scour

On the Decidability of Distributed Tasks with Output Sets under Asynchrony and Any Number of Crashes ⏰Timed Automata

arxiv.org·5d

APL: Evaluator for a Subset of Scheme 🐫OCaml

dfns.dyalog.com·2d·Hacker News

Which Relations Can Be Generalized Implicitly? 🔁Fixed-Point Theory

lesswrong.com·1d

Retrospective on binary search and comp{ress,ilat}ion (2015) 🔍CBMC

pvk.ca·5d·Hacker News

Incremental Lambda Calculus λFunctional Programming

inc-lc.github.io·4d·Hacker News

Networks of Moore Machines 🔲Cellular Automata

arxiv.org·17h

Topological entropy of Turing complete dynamics 🔲Cellular Automata

arxiv.org·4d

Robust Reasoning Benchmark 🧮SMT Solvers

arxiv.org·1d

Hierarchical Alignment: Enforcing Hierarchical Instruction-Following in LLMs through Logical Consistency ⚙️Compiler Design

arxiv.org·1d

A Domain-Theoretic Foundation for Imprecise Probability and Credal Sets ⚖️Weighted Automata

arxiv.org·1d

On Formally Undecidable Propositions of Nondeterministic Complexity and Related Classes 🎯Complexity Classes

arxiv.org·4d

The Boolean surface area of polynomial threshold functions 💻CS

arxiv.org·4d

ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning ✓Automated Theorem Proving

arxiv.org·5d

Toward a Tractability Frontier for Exact Relevance Certification 🧮SMT Solvers

arxiv.org·5d

The complexity of bisimilarity on pointmass processes ↔️Bisimilarity

arxiv.org·5d

Cognitive Loop of Thought: Reversible Hierarchical Markov Chain for Efficient Mathematical Reasoning 🧠Automated Reasoning

arxiv.org·5d

A Gradual Probabilistic Lambda Calculus 🧮Lambda Calculus

arxiv.org·6d

An Algebraic Introduction to Persistence ≤Order Theory

arxiv.org·5d

Tractable Hyperproperties for MDPs 🔀Brzozowski Derivatives

arxiv.org·5d

Toward a Uniform Algorithm and Uniform Reduction for Constraint Problems 🧮SMT Solvers

arxiv.org·5d

Loading more...