Haoyu Zhao

PhD student, Princeton University

Joined

September 2019

Names

Haoyu Zhao (Preferred)

Emails

****@mails.tsinghua.edu.cn (Confirmed)

****@mail.tsinghua.org.cn

****@gmail.com (Confirmed)

****@princeton.edu (Confirmed)

Personal Links

Homepage

Google Scholar

Career & Education History

PhD student

Princeton University (princeton.edu)

2020 – Present

Undergrad student

Tsinghua University, Tsinghua University (tsinghua.edu.cn)

2016 – 2020

Advisors, Relations & Conflicts

PhD Advisor

Sanjeev Arora

2020 – Present

Expertise

Large language model

Present

Machine learning

Present

Natural language processing

Present

Publications

AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms
Haoyu Zhao, Ziran Yang, Jiawei Li, Mike He, Zenan Li, Chi Jin, Venugopal Veeravalli, Aarti Gupta, Sanjeev Arora
- OpenReview Archive Direct Upload
- Readers: Everyone
Contextual Drag: How Errors in the Context Affect LLM Reasoning
Yun Cheng, Xingyu Zhu, Haoyu Zhao, Sanjeev Arora
- ICLR 2026 Workshop RSI Oral
- Readers: Everyone
Unrealized Expectations: Comparing AI Methods vs Classical Algorithms for Maximum Independent Set
Yikai Wu, Haoyu Zhao, Sanjeev Arora
- Accepted by TMLR
- Readers: Everyone
Importance Sampling Optimization Improves Online Preference Learning
Yifan Zeng, Haoyu Zhao, Huazheng Wang
- Submitted to ICLR 2026
- Readers: Everyone
[ICLR 2026] The role of diversity in in-context learning for large language models
Wenyang Xiao, Haoyu Zhao, Lingxiao Huang
- ICLR 2026 Conference Withdrawn Submission
- Readers: Everyone
Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
Yong Lin, Shange Tang, Bohan Lyu, Ziran Yang, Jui-Hui Chung, Haoyu Zhao, Lai Jiang, Yihan Geng, Jiawei Ge, Jingruo Sun, Jiayun Wu, Jiri Gesi, Ximing Lu, David Acuna, Kaiyu Yang, Hongzhou Lin, Yejin Choi, Danqi Chen, Sanjeev Arora, Chi Jin
- ICLR 2026 Poster
- Readers: Everyone
Superposition Reasoning Model
Zheyang Xiong, Shivam Garg, Vaishnavi Shrivastava, Haoyu Zhao, Anastasios Kyrillidis, Dimitris Papailiopoulos
- NeurIPS 2025 ER Workshop
- Readers: Everyone
Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving of Inequalities
Haoyu Zhao, Yihan Geng, Shange Tang, Yong Lin, Bohan Lyu, Hongzhou Lin, Chi Jin, Sanjeev Arora
- NeurIPS 2025 Datasets and Benchmarks Track poster
- Readers: Everyone
AlgoTune: Can Language Models Speed Up General-Purpose Numerical Programs?
Ori Press, Brandon Amos, Haoyu Zhao, Yikai Wu, Samuel Ainsworth, Dominik Krupke, Patrick Kidger, Touqir Sajed, Bartolomeo Stellato, Jisun Park, Nathanael Bosch, Eli Meril, Albert Steppi, Arman Zharmagambetov, Fangzhao Zhang, David Pérez-Piñeiro, Alberto Mercurio, Ni Zhan, Talor Abramovich, Kilian Lieret et al. (4 additional authors not shown)
- NeurIPS 2025 Datasets and Benchmarks Track poster
- Readers: Everyone
Coresets for Clustering Under Stochastic Noise
Lingxiao Huang, Zhize Li, Nisheeth K. Vishnoi, Runkai Yang, Haoyu Zhao
- NeurIPS 2025 poster
- Readers: Everyone

View all 59 publications

Co-Authors

View all 85 co-authors