We formalize chip-firing games and the Riemann-Roch theorem on graphs, enabling structured proofs and AI-driven research exploration.
Jan 25, 2025
