I completed my PhD in Physics at MIT in September 2026, under the supervision of Peter Shor and Aram Harrow . Previously, I earned my MA in Physics at Stony Brook University, where I was advised by Axel Drees.
My research focuses on quantum codes, topological order, and quantum simulation of physical systems. I’m also learning about open quantum systems, quantum complexity theory, as well as quantum algorithms.
In my free time, I think about and experiment with how machine learning can help derive and prove mathematical theorems and how large language model agents can automate the process.
My email is yuanjie[at]mit[dot]edu. Please don’t hesitate to reach out for academic collaboration, entrepreneurship, or AI-for-math conversations.
We are considering a startup around formal verification and automated mathematical theorem proving, and we are actively looking to speak with people interested in investing in this direction.
Current AI-agent project: MerLean .