🧮 SMT Solvers

Z3, Constraint Satisfaction, Boolean Satisfiability, Theorem Proving, Mathematical Optimization

SAT problems are kind of cool
blog.karanjanthe.me·1d·
Discuss: Hacker News
🧮Z3 Solver
On the Pure Quantum Polynomial Hierarchy and Quantified Hamiltonian Complexity
arxiv.org·16h
⚛️Quantum Algorithms
Is ChatGPT-5 Able to Provide Proofs for Advanced Mathematics?
machinelearningmastery.com·2d
🎯Proof Tactics
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·4d·
Discuss: DEV
⚡SMT Integration
Getting a Hypergraph of Functions to a Browser
systeminit.com·3h·
Discuss: Hacker News
📐E-graphs
Three Solutions to Nondeterminism in AI
blog.hellas.ai·1d·
Discuss: Hacker News
🎯Performance Proofs
Haskell Weekly Issue 493
haskellweekly.news·10h·
Discuss: Hacker News
🧬Functional Programming
A grand week
blog.mitrichev.ch·4d·
Discuss: blog.mitrichev.ch
🧮Z3 Solver
Toy Binary Decision Diagrams
philipzucker.com·3d
🧮Algebraic Datatypes
Tool or Agent? The impact of AI in your code and in your wallet It all boils down to math again!
blog.codeminer42.com·7h
⚡Proof Automation
Computational Complexity of Covering Two-vertex Multigraphs with Semi-edges
arxiv.org·16h
🕸️Graph Algorithms
GaloisInc/parameterized-utils
github.com·1d
🧮Algebraic Datatypes
Scaling LLM Multi-turn RL with End-to-end Summarization-based Context Management
arxiv.org·16h
💻Local LLMs
LINQ and Learning to Be Declarative
nickstambaugh.dev·5h·
Discuss: Hacker News
🔗Concatenative Programming
Beyond the Hyped IMO Benchmarks: Towards a True Mathematical AI Discovery
quantumformalism.substack.com·1h·
Discuss: Substack
🎯Performance Proofs
Less Is More: Recursive Reasoning with Tiny Networks
github.com·1d·
Discuss: Hacker News
📊Quantization
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.com·3d·
Discuss: Hacker News
🧮Kolmogorov Complexity
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·2d
⚡Proof Automation
Kubetorch: Fast ML Development on Kubernetes
run.house·2h·
Discuss: Hacker News
🏠Homelab Orchestration
Control Codegen Spend
oreilly.com·9h
⚔️Lean Tactics