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, ramification theory, and rational points. Outside of my main interests, I’m also interested in type theory, mathematical logic, cryptography, and machine learning 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 (possibly 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 (possibly unfinished) short notes for a few specific topics

  1. Arithmetic Monodromy and Middle Convolution of $\ell$-adic Perverse Sheaves (PhD Candidacy Report)

Here are my slides for past presentations

  1. Trace of Frobenius
  2. Arithmetic Monodromy and Middle Convolution of $\ell$-adic Perverse Sheaves (PhD Candidacy Presentation)