APA (7th ed.) Citation

Sun, Y., Shi, C., Lyu, H., & Xiong, Y. (2026). On Reasoning-Centric LLM-based Automated Theorem Proving.

Chicago Style (17th ed.) Citation

Sun, Yican, Chengwei Shi, Hangzhou Lyu, and Yingfei Xiong. On Reasoning-Centric LLM-based Automated Theorem Proving. 2026.

MLA (9th ed.) Citation

Sun, Yican, et al. On Reasoning-Centric LLM-based Automated Theorem Proving. 2026.