Hrishi Sunder
About Hrishi Sunder
Hi! I'm currently a 2nd year undergraduate in the Department of Computer Science at the University of Illinois Urbana-Champaign. My research interests are at the intersection of Machine Learning, Formal Methods, AI Alignment, and Reasoning. I am also an avid competitive programmer and have competed in the USA Computing Olympiad (USACO), reaching its highest division, Platinum.
Email: hsund [at] illinois [dot] edu
research
-
Learning Verifiable Mathematical Laws for Scientific Agents via Graph-Hamiltonian World Models AI for Math @ ICML 2026 -