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