Zeyu Zheng

PhD student, Carnegie Mellon University

Joined

October 2024

Names

Zeyu Zheng (Preferred)

Emails

****@andrew.cmu.edu (Confirmed)

Personal Links

Career & Education History

PhD student

Carnegie Mellon University (cmu.edu)

2023 – Present

Advisors, Relations & Conflicts

PhD Advisor

2025 – Present

PhD Advisor

2025 – Present

Expertise

No areas of expertise listed

Publications

Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers
Ran Xin, Zeyu Zheng, Yanchen Nie, Kun Yuan, Xia Xiao
- ICML 2026 regular
- Readers: Everyone
Position: Academic Conferences are Potentially Facing Denominator Gaming Caused by Fully Automated Scientific Agents
Rong Shan, Te Gao, Hang Zheng, Yunjia Xi, Jiachen Zhu, Zeyu Zheng, Yong Yu, Weinan Zhang, Jianghao Lin
- ICML 2026 Position Paper Track regular
- Readers: Everyone
Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers
Ran Xin, Zeyu Zheng, Yanchen Nie, Kun Yuan, Xia Xiao
- MATH-AI 2025 Poster
- Readers: Everyone
Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers
Ran Xin, Zeyu Zheng, Yanchen Nie, Kun Yuan, Xia Xiao
- Submitted to ICLR 2026
- Readers: Everyone
Four-regular graphs with extremal rigidity properties
Tibor Jordán, Robin Huang, Henry Simmons, Kaylee Weatherspoon, Zeyu Zheng
- Discret. Math. 2024
- Readers: Everyone
Common Kings of a Chain of Cycles in a Strong Tournament
Logan Post, Zeyu Zheng
- Graphs Comb. 2023
- Readers: Everyone
On the Turán Number of the Linear $3$-Graph $C_{13}$
Chaoliang Tang, Hehui Wu, Shengtong Zhang, Zeyu Zheng
- Electron. J. Comb. 2022
- Readers: Everyone
On the Turán Number of the Linear 3-Graph C
Chaoliang Tang, Hehui Wu, Shengtong Zhang, Zeyu Zheng
- Electron. J. Comb. 2022
- Readers: Everyone

Co-Authors