郑泽宇 | Zeyu Zheng

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 Statement

Research Works

1. Revisiting initialization in sparse autoencoders
   Taozhi Wang^*, Zixuan Wang^*, Zeyu Zheng^*
   Coming soon
2. 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
   Under review
3. The Oddtown problem modulo a composite number
   Boris Bukh, Ting-Wei Chao, Zeyu Zheng
   Under review
4. 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
   Under review
5. 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
6. Sandpile prediction on undirected graphs
   Ruinian Chang, Jingbang Chen, Ian Munro, Richard Peng, Qingyu Shi, Zeyu Zheng
   Under review
7. Extremal planar graphs with no cycles of particular lengths
   Ervin Győri, Xianzhi Wang, Zeyu Zheng
   Under review
8. 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.
9. Common kings of a chain of cycles in a strong tournament
   Logan Post, Zeyu Zheng
   Graphs and Combinatorics 39 (2023), no. 4, 71.
10. On the Turán number of the linear 3-graph C13
    Chaoliang Tang, Hehui Wu, Shengtong Zhang, Zeyu Zheng
    The Electronic Journal of Combinatorics (2022), P3–46.

Teaching

• Fall 2025: TA for Multivariate Analysis at CMU
• Spring 2025: TA for Multivariate Analysis at CMU
• Fall 2024: TA for Combinatorics at CMU, TA for Putnam Seminar at CMU
• Spring 2024: TA for Combinatorics at CMU
• Fall 2023: TA for Putnam Seminar at CMU
• Fall 2021: TA for Linear Algebra at Fudan University

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.
• Cooking: Let him cook!
• 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.