Cao, Xuenan

2 publications

TMLR 2025 A Lean Dataset for International Math Olympiad: Small Steps Towards Writing Math Proofs for Hard Problems Roozbeh Yousefzadeh, Xuenan Cao

NeurIPS 2024 Towards a Scalable Reference-Free Evaluation of Generative Models Azim Ospanov, Jingwei Zhang, Mohammad Jalali, Xuenan Cao, Andrej Bogdanov, Farzan Farnia