2026
Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models
ICML 2026poster
Agentic theorem provers---pipelines that couple a mathematical reasoning model with library retrieval, decomposition/search, and a proof assistant verifier---have recently achieved striking empirical success, yet it remains unclear which components drive performance and why such systems work at all …