I am currently a fifth year Ph.D. student at Princeton University, and I am fortunate to be advised by Prof. Sanjeev Arora.

I completed my undergraduate at Andrew Chi-Chih Yao’s CS pilot class at Tsinghua University, where I am advised by Prof. Wei Chen. Previously, I am also a reserach intern at Microsoft Research Asia Theory group and my mentor is Prof. Wei Chen. In my junior year, I also visited Duke University where I had a great time working with Prof. Rong Ge.

Research Interests

I am broadly interested in the intersection of math, algorithms, and learning. These days I am particularly interested in automated theorem proving. Besides theorem proving, I am also interested in fundamental capability of models, like reasoning and compositional generalization. Previously I also worked on online leraning and mathematical optimization.

News

• [May. 2025] New paper out: Ineq-Comp: Benchmarking Human-Intuitive Compositional Reasoning in Automated Theorem Proving on Inequalities
• [Feb. 2025] New paper out: Unrealized Expectations: Comparing AI Methods vs Classical Algorithms for Maximum Independent Set
• [Oct. 2024] New paper out: Can Models Learn Skill Composition from Examples?
• [Sept. 2024] Two papers get accepted at NeurIPS 2024!

Contact Information

haoyu AT princeton DOT edu