Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning Models
Abstract
Dadi Guo, Jiayu Liu, Zhiyuan Fan, Zhitao He, Haoran Li, Yuxin Li, Yumeng Wang, Yi R. Fung. Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 2026.
Fields of Study & Subjects
Constraint Satisfaction and Optimization
Bayesian Modeling and Causal Inference
Mathematics
Computing
and Information Processing
Publication details
- Pages
- 12764–12804
- Publication date
- 1 January 2026
- Language
- EN