ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·1d·
Discuss: DEV
SMT Integration
Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph
arxiv.org·58m
Proof Automation
Toy Binary Decision Diagrams
philipzucker.com·1d
🧮Algebraic Datatypes
Atomic and Saturated Models
functor.network·3d·
Discuss: Hacker News
🔢Denotational Semantics
BrokenMath: A Benchmark for Sycophancy in Theorem Proving with LLMs
arxiv.org·58m
Automated Theorem Proving
Rodrigo Girão Serrão: Functions: a complete reference | Pydon't 🐍
mathspp.com·21h
⬆️Lambda Lifting
ProofOfThought: LLM-based reasoning using Z3 theorem proving
dev.to·2d·
Discuss: DEV
🧮Z3 Solver
A grand week
blog.mitrichev.ch·1d·
🧮SMT Solvers
Three important things to get right for successful AI Coding
kau.sh·1d
Proof Automation
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·13h·
Discuss: Hacker News
💻Local LLMs
Detecting Distillation Data from Reasoning Models
arxiv.org·58m
⚙️ABNF Mining
How to Train an LLM to Do Proofs: Beyond Verifiable Rewards
tobysimonds.com·2d·
Discuss: Hacker News
🎯Interactive Provers
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🧪Property-Based Testing
94% of AI Developers Ignore This Theorem Prover. Here's Why That's Costing Millions.
dev.to·1d·
Discuss: DEV
⚙️Proof Engineering
Thinking on the Fly: Test-Time Reasoning Enhancement via Latent Thought Policy Optimization
arxiv.org·58m
💻Local LLMs
An alternative to knowledge graphs for storing loosely structured content
fleetingswallow.com·1d·
Discuss: Hacker News
🕸️Knowledge Graphs
COSMIR: Chain Orchestrated Structured Memory for Iterative Reasoning over Long Context
arxiv.org·58m
🌀Brotli Internals
Proofs of quantum memory
arxiv.org·58m
⚛️Quantum Tape
Domain Driven Design in Clojure with Generalized Hiccup
biotz.io·4d·
🔗Functional Compilers
2 Math Problems Fall to LLM: Tsumura's 554 solved, Majority Optimality Disproved
nednex.com·19h·
Discuss: Hacker News
🧮SMT Solvers