Publications

Dhyey Mavani, Professor Nathan Pflueger (2025). Chip-Firing with Lean4: A Formalization Framework for Graph Theory.

Dhyey Mavani, Professor Shu-Min Liao (2025). Discopula: Scalable Checkerboard Copula Modeling for Categorical Data.

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.

Dhyey Mavani, Robert Ford (2013). An example conference paper. In ICW.