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 statistics, abelian varieties, Drinfeld modules, and rational points. Outside of my main interests, I’m interested in AI for Math (the application of artificial intelligence and machine learning to mathematical discovery and formalization) and type theory.

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.