TY  - RPRT
TI  - Reliable Fine-Grained Evaluation of Natural Language Math Proofs
AU  - Wenjie Ma
AU  - Andrei Cojocaru
AU  - Neel Kolhe
AU  - Bradley Louie
AU  - Robin Said Sharif
AU  - Haihan Zhang
AU  - Vincent Zhuang
AU  - Matei Zaharia
AU  - Sewon Min
PY  - 2026
UR  - https://arxiv.org/abs/2510.13888
ID  - 2510.13888
ER  -