Open Source & Papers

Dhyey Mavani, Nathan Pflueger (2026). Formalizing chip-firing and Riemann--Roch for graphs in Lean 4. Formalizing chip-firing and Riemann–Roch for graphs in Lean 4.

PDF Cite Code Project

Dhyey Mavani, Tairan (Ryan) Ji, Dr. Nathan Pflueger (2025). chipfiring: A Python Package for Efficient Mathematical Analysis of Chip-Firing Games on Multigraphs. arXiv.

PDF Cite Code Slides Source Document DOI

Dhyey Mavani, Professor Daeyoung Kim, Professor Shu-Min Liao (2025). ccrvam: A Python Package for Model-Free Exploratory Analysis of Multivariate Discrete Data with an Ordinal Response Variable. JSS.

Cite Code Project Slides

Dhyey Mavani, Professor Shu-Min Liao, Liam Davis (2023). RBlocks: Assistive Block Programming Language to Learn R.