Reliable Fine-Grained Evaluation of Natural Language Math Proofs - Ma, Wenjie; Cojocaru, Andrei; Kolhe, Neel; Zhang, Haihan; Zhuang, Vincent; Zaharia, Matei; Min, Sewon (International Conference on Learning Representations, 2026)