About me

I am a Ph.D. candidate in Mathematics at the University of California, Los Angeles (UCLA). I work with Ernest Ryu and Terence Tao.

Research

I work on AI for mathematics, including automated theorem proving, formal verification in Lean 4, agentic systems, and LLM reasoning. I’m interested in building tools to support mathematicians as well as using AI to tackle math problems.

  • AI for math
  • Formal verification in Lean 4
  • Automated theorem proving
  • Agentic systems
  • LLM reasoning

Research opportunities. I am seeking research internships for summer 2027. Please get in touch if you’re interested in collaborating.

Recent talk

— IEANTN: Integrated Explicit Analytic Number Theory Network, CMSA Seminar at Harvard University. Slides (PDF).

Education

  1. University of California, Los Angeles (UCLA)

    2023 – expected May 2028

    Ph.D. in Mathematics.

  2. Carnegie Mellon University

    2019 – 2023

    B.S. and M.S. in Mathematical Sciences, Honors Program.

You can find my publications, research projects, and teaching and mentoring experience on this site.