Math Thesis Defense - Lean4 Machine Assisted Proof Framework for Chip Firing Game & Graphical Riemann-Roch
Mathematics Thesis Defense Talk and Q&A for Dhyey Mavani's work with Professor Nathan Pflueger.
Apr 15, 2025
![[Mathematics Thesis] Lean4 Machine Assisted Proof Framework for Chip Firing Game & Graphical Riemann-Roch](/publication/math-thesis-lean/featured_hu1980786614645573733.webp)
[Mathematics Thesis] Lean4 Machine Assisted Proof Framework for Chip Firing Game & 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