郑泽宇 | Zeyu Zheng

What you need is that your brain is open.
—— Erdős Pál
Zeyu Zheng's Photo

Hi! I am a third-year Ph.D. candidate at Carnegie Mellon University in ACO, the CS & Math joint program. I have been working with Boris Bukh on my mathematical research, and I also work with Jeremy Avigad @Hoskinson Center for Formal Mathematics and Sean Welleck @L3 Lab.

Alongside my Ph.D. study, I have gained valuable industry experience at ByteDance Seed as a research scientist intern.

Previously, I received a B.S. Computational Math from Fudan University, and a B.A. Mathematics with a minor in Computer Science from Rutgers University, both in 2023. I also spent two wonderful semesters at Budapest Semesters in Mathematics in the spring and summer of 2022.

My Erdős number is 2.

Research Works

  1. Turán-type problems over finite fields
    Ping Hu, Bernard Lidický, Jiayi Lu, Zeyu Zheng
    Manuscript
  2. Seed2.0: Towards Intelligence Frontier for Real-World Complexity
    ByteDance Seed
    Technical Report
  3. 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
    Under review
  4. Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
    ByteDance Seed AI4Math
    Technical Report
  5. Seed1.8: Towards Generalized Real-World Agency
    ByteDance Seed
    Technical Report
  6. The Oddtown problem modulo a composite number
    Boris Bukh, Ting-Wei Chao, Zeyu Zheng
    Under review
  7. 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
  8. 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
    AI for Math workshop @ NeurIPS 2025
  9. 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)
  10. 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
  11. Sandpile prediction on undirected graphs
    Ruinian Chang, Jingbang Chen, Ian Munro, Richard Peng, Qingyu Shi, Zeyu Zheng
    Under review
  12. Extremal planar graphs with no cycles of particular lengths
    Ervin Győri, Xianzhi Wang, Zeyu Zheng
    Under review
  13. 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.
  14. Common kings of a chain of cycles in a strong tournament
    Logan Post, Zeyu Zheng
    Graphs and Combinatorics 39 (2023), no. 4, 71.
  15. 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.

Teaching

Miscellaneous