Open Source & Papers

Dhyey Mavani, Rian Atri, Tairan Ji (2026). What Does an Observability Foundation Model Know?. NeurIPS 2026.

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

Deepak Agarwal, Dhyey Mavani, Suyash Gupta, Karthik Sethuraman, Tejas Dharamsi (2026). Support Tokens, Stability Margins, and a New Foundation for Robust LLMs. arXiv.

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

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.

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