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

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Guo, Dadi, Liu, Jiayu, Fan, Zhiyuan, He, Zhitao, Li, Haoran, Li, Yuxin, Wang, Yumeng, Fung, Yi R.
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2506.17114