Author

Zhengyang Zhang

Observed name: Zhang, Zhengyang

Institutions: Nvidia (United Kingdom), Nvidia (United States), Tsinghua University

Observed institutions: Nvidia (United Kingdom), Nvidia (United States), Tsinghua University

OpenAlex ID: A5158493423

Humanize Olympiad Agents: A Multi-Session Workflow for Olympiad Problem Solving with Solve, Review, Wiki, Verify

2026 · Zhang, Zhengyang, Xiong, Jing, et al. · arXiv (Cornell University) · 1

A Lean Formalization of the Hamilton--Perelman Proof of Thurston's Geometrization Conjecture

2026 · Liao, Yuan, Qin, Ziyang, et al. · arXiv (Cornell University)

Works count: 2

Citation count: 1

H-index: 1

I10-index: