Yousefzadeh, Roozbeh

5 publications

ICLR 2026 Mathesis: Towards Formal Theorem Proving from Natural Languages Yu Xuejun, Jianyuan Zhong, Zijin Feng, Pengyi Zhai, Roozbeh Yousefzadeh, Wei Chong Ng, Haoxiong Liu, Ziyi Shou, Jing Xiong, Yudong Zhou, Claudia Beth Ong, Austen Jeremy Sugiarto, Yaoxi Zhang, Wai Ming Tai, Huan Cao, Dongcai Lu, Jiacheng Sun, Qiang Xu, Shen Xin, Zhenguo Li

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