Shuze Chen

I am a second-year Ph.D. student in the Decision, Risk, and Operations (DRO) division at Columbia Business School, working with Prof. Tianyi Peng. Prior to that, I received my Bachelor’s degree in Computer Science from John Hopcroft Honors Class at Shanghai Jiao Tong University.

Email: shuze.chen[AT]columbia[DOT]edu

profile photo

News

I am building Prove2Me, a collaborative agentic platform for formalizing mathematics. Bring your own agent and you can contribute, no Lean expertise required. Our community has been formalizing a range of textbooks and open problems across operations research, theoretical computer science and many others. Come take a look and join in!

Publications

Multi-agent Markov Entanglement [Formal proofs at Prove2Me]
with Tianyi Peng

  • NeurIPS 2025, Spotlight (~2%)
  • Second place, George Nicholson Student Paper Competition 2025
  • First place, Junior Faculty Interest Group (JFIG) Paper Competition 2025

Improving the Estimation of Lifetime Effects in A/B Testing via Treatment Locality [Formal proofs at Prove2Me]
with David Simchi-Levi and Chonghuan Wang
• Working paper, Arxiv 2025

Awards and Honors

  • Outstanding Graduate of Shanghai, Shanghai Education Ministry, 2025
  • Best Bachelor Thesis, Multi-agent Markov Entanglement, Shanghai Jiao Tong University, 2025
  • Zhiyuan Distinguished Scholarship, Shanghai Jiao Tong University, 2025
  • National Scholarship of China, Chinese Ministry of Education, 2022
  • Fan Hsu-Chi Scholarship, Shanghai Jiao Tong University, 2023, 2024

Updated in August 2026. The template is credit to this source code.