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. Lean4 Machine Assisted Proof Framework for Chip Firing Game & Graphical Riemann-Roch.
(2023). RBlocks: Assistive Block Programming Language to Learn R.