Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning Models.

Dadi Guo, Jiayu Liu, Zhiyuan Fan, Zhitao He, Haoran Li, Yuxin Li, Yumeng Wang, Yi R. Fung

Browse the full ACL paper archive.