🧮 Theorem Proving - matmat · Scour

Hint-Based SMT Proof Reconstruction

arxiv.org·7h

🧮SMT Solvers

Multi-Modal Program Verification in Velvet

proofsandintuitions.net·1d·

Discuss: Hacker News

⚖️Verification Calculi

Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics

arxiv.org·1d

🧮SMT Solvers

haskellweekly.news·1h

🔗Functional Compilers

Subterms Modulo Theories I

philipzucker.com·3d

🎯Automata theory

MathGPT Graphing: fast interactive graphs with AI help

mathgpt.today·18h·

Discuss: Hacker News

🧮Constraint Solvers

Focus on ‘Don’ts’ to build systems that know when to say ‘No’

thenewstack.io·20h

🔗Constraint Handling

Conversation: LLMs and the what/how loop

martinfowler.com·21h

🧩WASM Components

Logic Puzzle with Poison Pill

dev.to·1d·

Discuss: DEV

🔮Proof Search

So You Thought You Knew Everything About Equilateral Triangles, Expanded Version

pballew.blogspot.com·5h·

Discuss: Blogger

📐Mathematical Art

Gödel’s Theorems (and logicisms) revisited

logicmatters.net·2d

🔬Logic in Computer Science

## Automated Theorem Verification and Extended Fermat’s Last Theorem Proof Space Exploration via Hybrid Graph Neural Networks and Multi-layered Evaluation Pipelines

freederia.com·4d

✓Automated Theorem Proving

Simulating Pots with LTSpice

hackaday.com·9h

⚡Homebrew CPUs

Explainer: Tree-sitter vs. LSP

lambdaland.org·1d

🌳Context free grammars

How Static Analysis Can Expose Personal Data Hidden in Source Code

hackernoon.com·1d

📊Static Analysis

abelianization of an additive category in nLab

ncatlab.org·20h

🧮Algebraic Archives

Evolution of LLMs use by a programmer

asfaload.com·19h·

Discuss: Hacker News

🧩WASM Components

Free papers, get your free papers here!

esat.kuleuven.be·17h

🔢Reed-Solomon Math

Algebra Problems of the Day (Algebra Regents, August 2025 Part I)

mrburkemath.blogspot.com·22h·

Discuss: Blogger

📐Linear Algebra

Can AI help ‘fix’ the patent system?

blogs.gnome.org·17h

⚙️Proof Engineering

Loading more...