Yousefzadeh, Roozbeh

4 publications

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

NeurIPS 2025 APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh

NeurIPS 2025 miniF2F-Lean Revisited: Reviewing Limitations and Charting a Path Forward Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh

NeurIPSW 2020 Deep Learning Generalization and the Convex Hull of Training Sets Roozbeh Yousefzadeh