Reliable Fine-Grained Evaluation of Natural Language Math Proofs. - Wenjie Ma; Andrei Cojocaru; Neel Kolhe; Bradley Louie; Robin Said Sharif; Haihan Zhang; Vincent Zhuang; Matei Zaharia; Sewon Min (CoRR, 2025)