Scholar
Haoyu Zhao
Google Scholar ID: 1MjanHUAAAAJ
Princeton University
Machine Learning
Natural Language Processing
Theorem Proving
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
568
H-index
12
i10-index
14
Publications
20
Co-authors
56
list available
Contact
Email
thomaszhao1998@gamil.com
CV
Open ↗
GitHub
Open ↗
LinkedIn
Open ↗
Publications
5 items
SuperThoughts: Reasoning Tokens in Superposition
2026
Cited
0
When Can You Poison Rewards? A Tight Characterization of Reward Poisoning in Linear MDPs
2026
Cited
0
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
Professor of Computer Science, Princeton University
Zhize Li
Assistant Professor, Singapore Management University
Wei Chen （陈 卫）
Microsoft Research, ACM/IEEE Fellow
Peter Richtarik
Professor, KAUST
Abhishek Panigrahi
Graduate Student, Princeton University
Yuejie Chi
Yale University
Boyue Li
Carnegie Mellon University
Dingli Yu
OpenAI
