TY  - RPRT
TI  - Mathematical Proof as a Litmus Test: Revealing Failure Modes of Advanced Large Reasoning Models
AU  - Dadi Guo
AU  - Jiayu Liu
AU  - Zhiyuan Fan
AU  - Zhitao He
AU  - Haoran Li
AU  - Yuxin Li
AU  - Yumeng Wang
AU  - Yi R. Fung
PY  - 2025
UR  - https://arxiv.org/abs/2506.17114
ID  - 2506.17114
ER  -