VOOZH about

URL: https://zeyu-zheng.github.io/

⇱ 郑泽宇的主页 | Zeyu Zheng's Homepage

郑泽宇 | 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. I work with Sean Welleck @L3 Lab, Prasad Tetali @ICARM and Jeremy Avigad @Hoskinson Center for Formal Mathematics. I also worked with Boris Bukh on my mathematical research before he joined OpenAI.

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,
    Manuscript
  2. AdaExplore: Failure-Driven Adaptation and Diversity-Preserving Search for Efficient Kernel Generation
    Weihua Du, Jingming Zhuo, Yixin Dong, Andre Wang He, Weiwei Sun, , Manupa Karunaratne, Ivan Fox, Tim Dettmers, Tianqi Chen, Yiming Yang, Sean Welleck
    Under review
  3. 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, , Zhuosheng Zhang, Xingyu Lou, Changwang Zhang, Zhihui Fu, Jun Wang, Weiwen Liu, Jianghao Lin, Weinan Zhang
    Under review
  4. Seed2.0: Towards Intelligence Frontier for Real-World Complexity
    ByteDance Seed
    Technical Report
  5. Turing Test on Screen: A Benchmark for Mobile GUI Agent Humanization
    Jiachen Zhu, Lingyu Yang, Rong Shan, Congmin Zheng, , Weiwen Liu, Yong Yu, Weinan Zhang, Jianghao Lin
    Under review
  6. Seed-Prover 1.5: Mastering Undergraduate-Level Theorem Proving via Learning from Experience
    ByteDance Seed AI4Math
    Technical Report
  7. The Oddtown problem modulo a composite number
    Boris Bukh, Ting-Wei Chao,
    Under review
  8. BFS-Prover-V2: Scaling up Multi-Turn Off-Policy RL and Multi-Agent Tree Search for LLM Step-Provers
    Ran Xin*, *, Yanchen Nie*, Kun Yuan, Xia Xiao
    ICML 2026
  9. Rong Shan, Te Gao, Hang Zheng, Yunjia Xi, Jiachen Zhu, , Yong Yu, Weinan Zhang, Jianghao Lin
    ICML 2026
  10. 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, , Mengyue Yang, Jianghao Lin, Yong Yu, Weinan Zhang
    ACL 2026
  11. The generalized trifference problem
    Anurag Bishnoi, Bartłomiej Kielak, Benedek Kovács, Zoltán Lóránt Nagy, Gábor Somlai, Máté Vizer,
    IEEE Transactions on Information Theory (2026)
  12. 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,
    Under review
  13. Sandpile prediction on undirected graphs
    Ruinian Chang, Jingbang Chen, Ian Munro, Richard Peng, Qingyu Shi,
    Under review
  14. Extremal planar graphs with no cycles of particular lengths
    Ervin Győri, Xianzhi Wang,
    Under review
  15. Four-regular graphs with extremal rigidity properties
    Tibor Jordán, Robin Huang, Henry Simmons, Kaylee Weatherspoon,
    Discrete Mathematics 347 (2024), no. 4, 113833.
  16. Common kings of a chain of cycles in a strong tournament
    Logan Post,
    Graphs and Combinatorics 39 (2023), no. 4, 71.
  17. On the Turán number of the linear $3$-graph $C_{13}$
    Chaoliang Tang, Hehui Wu, Shengtong Zhang,
    The Electronic Journal of Combinatorics (2022), P3–46.

Teaching

Miscellaneous