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, the topics that I especially want to understand are

  • Galois representations arising from geometry
  • Brauer groups and rational points on varieties
  • Arithmetic of abelian varieties and their moduli

Outside my main interests, I am also interested in the applications of machine learning and artificial intelligence to mathematical research (AI for Math), formalization of mathematics, and relevant topics in mathematical logic such as 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.
    Submitted.

Notes

I write and continuously update self-contained notes on various mathematical topics.

  1. Linear Algebraic Groups [source]
  2. Arithmetic Geometry (coming soon)
  3. Algebraic Number Theory (coming soon)

You are welcome to point out any mistakes or typos.