Interests

My main interests in mathematics lie in number theory and particularly arithmetic geometry, which studies arithmetic by applying insights from geometry and topology. More specifically, I am interested in Galois representations arising from geometry, arithmetic monodromy, arithmetic statistics, abelian varieties, Drinfeld modules, and rational points. I’m also interested in type theory, mathematical logic, machine learning theory, and formalization of mathematics.

Publications

  1. QEDBench: Quantifying the Alignment Gap in Automated Evaluation of University-Level Mathematical Proofs
    Joint with Santiago Gonzalez, Alireza Amiri Bavandpour, Peter Ye, Edward Zhang, et al.
    International Conference on Machine Learning (ICML) 2026

Expositions

Here are my (unfinished) notes for various topics

  1. Linear Algebraic Groups
  2. Algebraic Curves and Abelian Varieties (coming soon)
  3. Algebraic Number Theory (coming soon)

Here are my short notes for a few specific topics

  1. Coming soon

Here are my slides for past presentations

  1. Trace of Frobenius

You are welcome to point out any mistakes or typos.