Haoyu Zhao
Scholar

Haoyu Zhao

Google Scholar ID: 1MjanHUAAAAJ
Princeton University
Machine LearningNatural Language ProcessingTheorem Proving
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
568
 
H-index
12
 
i10-index
14
 
Publications
20
 
Co-authors
56
list available
Contact
Emailthomaszhao1998@gamil.comCVOpen ↗GitHubOpen ↗LinkedInOpen ↗
Publications
3 items
Goedel-Code-Prover: Hierarchical Proof Search for Open State-of-the-Art Code Verification
2026
Cited
0
AlgoVeri: An Aligned Benchmark for Verified Code Generation on Classical Algorithms
2026
Cited
0
Contextual Drag: How Errors in the Context Affect LLM Reasoning
2026
Cited
0
Resume (English only)
Co-authors
56 total
Sanjeev Arora
Sanjeev Arora
Professor of Computer Science, Princeton University
Zhize Li
Zhize Li
Assistant Professor, Singapore Management University
Wei Chen （陈 卫）
Wei Chen （陈 卫）
Microsoft Research, ACM/IEEE Fellow
Peter Richtarik
Peter Richtarik
Professor, KAUST
Abhishek Panigrahi
Abhishek Panigrahi
Graduate Student, Princeton University
Yuejie Chi
Yuejie Chi
Yale University
Boyue Li
Boyue Li
Carnegie Mellon University
Dingli Yu
Dingli Yu
OpenAI