Publications

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, Professor Daeyoung Kim (2025). Statistics Honors Thesis at Amherst College (Summa cum laude). Statistics Honors Thesis at Amherst College (Summa cum laude).

PDF Cite Code Project Slides

Dhyey Mavani, Professor Nathan Pflueger (2025). Mathematics Honors Thesis at Amherst College (Summa cum laude). Mathematics Honors Thesis at Amherst College (Summa cum laude).

PDF Cite Code Project Slides Source Document

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

Dhyey Mavani, Dr. Viral Joshi (2019). Development of Temperature Prediction Models for Naturally Ventilated Greenhouses. IJSER.

Dhyey Mavani, Dr. P. M. Chauhan, Dr. Viral Joshi (2019). Beauty of Agrivoltaic Systems: Double Utilization of Land for Crop and Electricity Production. IJSER.