ML Anthology

Ma, Wenjie

1 publications

ICLR 2026 Reliable Fine-Grained Evaluation of Natural Language Math Proofs Wenjie Ma, Andrei Cojocaru, Neel Kolhe, Haihan Zhang, Vincent Zhuang, Matei Zaharia, Sewon Min