@misc{indiciaea47d671984e3,
  title = {Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models},
  author = {Sho Sonoda and Shunta Akiyama and Yuya Uezato},
  year = {2026},
  url = {https://arxiv.org/abs/2602.10538},
  note = {Source identifier: 2602.10538}
}