⛏️ Proof Mining

Program Extraction, Constructive Logic, Algorithm Discovery, Computational Content

Is Chain-of-Thought Reasoning of LLMs a Mirage? A Data Distribution Lens – 2508.01191v2.pdf
jmason.ie·2d
📏Linear Logic
My Year of Rust
xavd.id·1d·
Discuss: Hacker News
🦀Rust Macros
AIxCC Final and Team Atlanta (first place, $4M)
team-atlanta.github.io·21h·
Discuss: Hacker News
🧪Binary Fuzzing
The Rise of AI Patent Search: A Look at IPRally and Traindex
dev.to·6h·
Discuss: DEV
🔍Vector Forensics
LaajMeter: A Framework for LaaJ Evaluation
arxiv.org·6h
🧠Intelligence Compression
Efficient Volume Computation for SMT Formulas
arxiv.org·1d
🧮SMT Solvers
LangGraph 101: Let’s Build A Deep Research Agent
towardsdatascience.com·10h
🕸️Neo4j
Mellea is a library for writing generative programs
mellea.ai·17h·
Discuss: Lobsters, Hacker News
⚡Incremental Computation
How we use a 3-stage, human-in-the-loop AI workflow to overhaul rsyslog's docs
rsyslog.com·18h·
Discuss: Hacker News
⚡Proof Automation
Why Lean 4 replaced OCaml as my Primary Language
kirancodes.me·13h·
Discuss: Lobsters, Hacker News
🔗Functional Compilers
Multiple Reachability in Linear Dynamical Systems
arxiv.org·6h
🔄Finite State Machines
Scalable intelligent document processing using Amazon Bedrock Data Automation
aws.amazon.com·16h
🤖Archive Automation
Promoting Efficient Reasoning with Verifiable Stepwise Reward
arxiv.org·6h
🔗Constraint Handling
Automated Knowledge Graph Validation via Multi-Modal Deep Reasoning
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
Combining Machine Learning Defenses without Conflicts
arxiv.org·6h
🧠Machine Learning
AI Proves P != NP
mvcalder-01701.medium.com·1d·
Discuss: Hacker News
✓Automated Theorem Proving
Simplifying Code: Migrating from Reactive to Virtual Threads
scalex.dev·22h·
Discuss: Hacker News
🌊Stream Processing
Programming with Natural Language Is Going to Work (2010)
writings.stephenwolfram.com·1d·
Discuss: Hacker News
💻Programming languages
How I Started Contributing to Tinygrad – My First 4 Merged PRs
ninoristeski.github.io·1d·
Discuss: Hacker News
🦀Rust Macros
Mathematical Computation and Reasoning Errors by Large Language Models
arxiv.org·1d·
Discuss: Hacker News
👑Isabelle