TY  - RPRT
TI  - Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models
AU  - Sho Sonoda
AU  - Shunta Akiyama
AU  - Yuya Uezato
PY  - 2026
UR  - https://arxiv.org/abs/2602.10538
ID  - 2602.10538
ER  -