APA (7th ed.) Citation

Sonoda, S., Akiyama, S., & Uezato, Y. (2026). Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models.

Chicago Style (17th ed.) Citation

Sonoda, Sho, Shunta Akiyama, and Yuya Uezato. Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models. 2026.

MLA (9th ed.) Citation

Sonoda, Sho, et al. Why Agentic Theorem Prover Works: A Statistical Provability Theory of Mathematical Reasoning Models. 2026.