⊢ Logic - beachlorn · Scour

ProofSketcher: Hybrid LLM + Lightweight Proof Checker for Reliable Math/Logic Reasoning ✓Formal Verification

arxiv.org·1d

Tax logic evaluation with Prolog · mthom scryer-prolog 🎯Constraint Solving

github.com·3d·Hacker News

No toast 🔀Modal Logic

logicmatters.net·6h

Giving LLMs a Formal Reasoning Engine for Code Analysis 🐫OCaml

yogthos.net·2d·Lobsters, Hacker News

The spectrum of consistency strengths for membership in a computably enumerable set, Notre Dame Logic Seminar, April 2026 λLambda Calculus

jdh.hamkins.org·6d

Beyond Opus: Decoding the “Dangerous” Reasoning of Claude Mythos 🔊Faust

medium.com

·2d

Mergeable SNARGs for Trapdoor Languages and Their Applications 🔬Closure Analysis

eprint.iacr.org·3d

806 Proofs, 44 Annotations: What grind Can and Can't Do 🧩SMT Solvers

alok.github.io·5d

What Is AI Inference? ✓Formal Verification

sambanova.ai·3d

Wiring the 'Why': A Unified Taxonomy and Survey of Abductive Reasoning in LLMs 🔗Parser Combinators

arxiv.org·20h

Tri-System Theory ⚡Effect Systems

metafilter.com·6d

I Made Parseltongue λLambda Calculus

lesswrong.com·5d

Interactive Proofs [video] 🎯Lean

youtube.com·6d·Hacker News

AI RESEARCH · REASONING ⚙️Program Synthesis

medium.com·4d

Pramana: Fine-Tuning Large Language Models for Epistemic Reasoning through Navya-Nyaya ➡️Linear Logic

arxiv.org·2d

SAT: Balancing Reasoning Accuracy and Efficiency with Stepwise Adaptive Thinking 🧩SMT Solvers

arxiv.org·20h

Partial functions and Church’s Thesis λLambda Calculus

logicmatters.net·4d

Reasoning Fails Where Step Flow Breaks ✨Effect Handlers

arxiv.org·1d

A Decomposition Perspective to Long-context Reasoning for LLMs 🧩SMT Solvers

arxiv.org·20h

Metacat: a categorical framework for formal systems 📐Category Theory

arxiv.org·20h

Loading more...