Dadi Guo, Jiayu Liu, Zhiyuan Fan, Zhitao He 0001, Haoran Li, Yuxin Li, Yumeng Wang 0010, Yi R. Fung 0001. Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning Models. In Maria Liakata, Viviane P. Moreira, Jiajun Zhang 0001, David Jurgens, editors, Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), ACL 2026, San Diego, California, United States, July 2-7, 2026. pages 12764-12804, Association for Computational Linguistics, 2026. [doi]
Abstract is missing.