Dhyey is an AI & computational math researcher at Amherst College. His work sits between statistical learning and mathematical rigor, developing methods and software for robust modeling, efficient computation, and machine-assisted reasoning. He's especially interested in bridging foundations (proofs, geometry, probability) with practical ML systems. Previously he has published novel open-source Python packages amassing 40k+ downloads, and published papers with professors and executives of Fortune 500 companies. He's an active guest author and contributing writer to major industry media publications such as VentureBeat, LeadDev, DZone, etc.