Publications

(2025). Statistics Honors Thesis at Amherst College (Summa cum laude). Statistics Honors Thesis at Amherst College (Summa cum laude).
(2025). Mathematics Honors Thesis at Amherst College (Summa cum laude). Mathematics Honors Thesis at Amherst College (Summa cum laude).
(2025). Lean4 Machine Assisted Proof Framework for Chip Firing Games & Graphical Riemann-Roch. Formalizing Chip-Firing and Riemann–Roch for Graphs in Lean 4.
(2023). RBlocks: Assistive Block Programming Language to Learn R.