Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models

Sho Sonoda, Shunta Akiyama, Yuya Uezato

Agentic theorem provers combine a reasoning model, retrieval, search, and a proof assistant verifier, yet it remains unclear which components actually improve finite-budget proof s…