Ying, Huaiyuan

1 publications

NeurIPS 2024 Lean Workbook: A Large-Scale Lean Problem Set Formalized from Natural Language Math Problems Huaiyuan Ying, Zijian Wu, Yihan Geng, Jiayu Wang, Dahua Lin, Kai Chen