Interests

My main interests in mathematics lie in number theory and particularly arithmetic geometry, which studies arithmetic by applying insights coming from geometry and topology. More specifically, topics that I am especially interested in include: rational points on varieties, abelian varieties, Galois representations, $\ell$-adic sheaves, and Drinfeld modules. I am also interested in the applications of machine learning to mathematical research (AI for Math).

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.
    Submitted.

Writings

Here are my notes for various topics

  1. Linear Algebraic Groups
  2. Algebraic Curves and Abelian Varieties
  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.