Led Amherst College Representation with a team of 5
Selected and sponsored to attend Y Combinator’s inaugural AI Startup School, joining 2,500 global builders and leaders in San Francisco.
Jun 16, 2025
Shout-out from the commencement speaker (Tom Ye '25)
Recognized during the 2025 Amherst College Commencement for commitment to community and peer mentorship.
May 25, 2025
Statistics Honors Thesis at Amherst College (Summa cum laude)
Scalable and modularized discrete checkerboard copula modeling for regression dependency analysis in categorical data.
Apr 16, 2025
Mathematics Honors Thesis at Amherst College (Summa cum laude)
We formalize chip-firing games and the Riemann-Roch theorem on graphs, enabling structured proofs and machine-driven research exploration.
Apr 15, 2025
Lean4 Machine Assisted Proof Framework for Chip Firing Games & Graphical Riemann-Roch
We formalize chip-firing games and the Riemann-Roch theorem on graphs, enabling structured proofs and machine-driven research exploration.
Apr 15, 2025