郑泽宇 | Zeyu Zheng

Hi! I am a fourth-year Ph.D. candidate in the ACO program at Carnegie Mellon University, advised by Prasad Tetali @ICARM and Sean Welleck @L3 Lab. I also worked with Boris Bukh before he joined OpenAI.

I train LLMs. I have worked on various aspects of foundation model development, including:

• Data synthesis for mid- and post-training
• Post-training algorithms and evaluation
• Environments and infrastructure for agentic/coding RL

Previously, I received a B.S. Mathematics from Fudan University.

My Erdős number is 2.

Research Openings

I am looking for motivated undergraduate or master's students at CMU interested in AI for mathematics and LLM evaluation to work with me at L3 Lab. If interested, please email me with your CV, a brief description of your background and interests, and your availability for a short online chat.

News

• Aug 2026 — New paper: The Problem Is the Problem. Check out our GitHub repo or browse all results here.
• Aug 2026 — Our updated Oddtown paper resolves a long-standing question of Babai and Frankl.
• Jun 2026 — New blog post: Sustain the climb — why long RL runs collapse and how soft resets help.

• The Problem Is the Problem: Towards Scalable Mathematical Discovery
  Zeyu Zheng^*, Shengtong Zhang^*, Jeremy Avigad, Prasad Tetali, Sean Welleck
  Under review
• Seed Foundation Models (Seed2.0, Seed2.1)
  ByteDance Seed
  Technical Report
• Contexting as Recommendation: Evolutionary Collaborative Filtering for Context Engineering
  Jiachen Zhu, Zhuoying Ou, Congmin Zheng, Yuxiang Chen, Zeyu Zheng, Rong Shan, Lingyu Yang, Lionel Z. Wang, Weiwen Liu, Yong Yu, Weinan Zhang, Jianghao Lin
  Under review
• 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
• AdaExplore: Failure-Driven Adaptation and Diversity-Preserving Search for Efficient Kernel Generation
  Weihua Du, Jingming Zhuo, Yixin Dong, Andre Wang He, Weiwei Sun, Zeyu Zheng, Manupa Karunaratne, Ivan Fox, Tim Dettmers, Tianqi Chen, Yiming Yang, Sean Welleck
  COLM 2026
• Turing Test on Screen: A Benchmark for Mobile GUI Agent Humanization
  Jiachen Zhu, Lingyu Yang, Rong Shan, Congmin Zheng, Zeyu Zheng, Weiwen Liu, Yong Yu, Weinan Zhang, Jianghao Lin
  KDD 2026
• Externalization in LLM Agents: A Unified Review of Memory, Skills, Protocols and Harness Engineering
  Chenyu Zhou, Huacan Chai, Wenteng Chen, Zihan Guo, Rong Shan, Yuanyi Song, Tianyi Xu, Yingxuan Yang, Aofan Yu, Weiming Zhang, Congming Zheng, Jiachen Zhu, Zeyu Zheng, Zhuosheng Zhang, Xingyu Lou, Changwang Zhang, Zhihui Fu, Jun Wang, Weiwen Liu, Jianghao Lin, Weinan Zhang
  Under review
• Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
  ByteDance Seed AI4Math
  Technical Report
• A Survey of Process Reward Models: From Outcome Signals to Process Supervisions for Large Language Models
  Congming Zheng^*, Jiachen Zhu^*, Zhuoying Ou^*, Yuxiang Chen, Kangning Zhang, Rong Shan, Zeyu Zheng, Mengyue Yang, Jianghao Lin, Yong Yu, Weinan Zhang
  ACL 2026
• The Oddtown problem modulo a composite number
  Boris Bukh, Ting-Wei Chao, Zeyu Zheng
  Under review
• BFS-Prover-V2: 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
• The generalized trifference problem
  Anurag Bishnoi, Bartłomiej Kielak, Benedek Kovács, Zoltán Lóránt Nagy, Gábor Somlai, Máté Vizer, Zeyu Zheng
  IEEE Transactions on Information Theory (2026)
• On the number of edges in saturated partial embeddings of maximal planar graphs
  János Barát, Zoltán L. Blázsik, Balázs Keszegh, Zeyu Zheng
  Under review
• Sandpile prediction on undirected graphs
  Ruinian Chang, Jingbang Chen, Ian Munro, Richard Peng, Qingyu Shi, Zeyu Zheng
  Under review
• Extremal planar graphs with no cycles of particular lengths
  Ervin Győri, Xianzhi Wang, Zeyu Zheng
  Under review
• Four-regular graphs with extremal rigidity properties
  Tibor Jordán, Robin Huang, Henry Simmons, Kaylee Weatherspoon, Zeyu Zheng
  Discrete Mathematics 347 (2024), no. 4, 113833.
• Common kings of a chain of cycles in a strong tournament
  Logan Post, Zeyu Zheng
  Graphs and Combinatorics 39 (2023), no. 4, 71.
• On the Turán number of the linear $3$-graph $C_{13}$
  Chaoliang Tang, Hehui Wu, Shengtong Zhang, Zeyu Zheng
  The Electronic Journal of Combinatorics (2022), P3–46.

Miscellaneous

• Bartending: My favorite cocktails are Baileys Milkshake, Gin Tonic and Pina Colada.
• Basketball: I was on the school basketball team during middle school and high school. Our 1908 class team won the second place in 2018 Shanghai High School SBS. Our high school team won the first prize in Xuhui District in 2018 High School Basketball League Shanghai. My favorite basketball players are Kobe Bryant and Manu Ginóbili.
• MC: I work as a Master of Ceremonies. I was a member of Fudan Host Team. I hosted RU Voice 2022 and CMU CSSA The Voice 2024.