Hrishi Sunder
About Hrishi Sunder
Hi! I am currently a 2nd year Computer Science and Mathematics student at the University of Illinois, Urbana-Champaign. My research interests are at the intersection of machine learning theory, reinforcement learning, formal methods, AI for math, scientific agents, and dynamical systems. I am also an avid competitive programmer and have taken part in the USA Computing Olympiad (USACO) and have achieved a place in the highest competing division (Platinum) as well as a rank of 352 out of over 14,000 participants globally.
Email: hsund [at] illinois [dot] edu
research
-
Learning Verifiable Mathematical Laws for Scientific Agents via Graph-Hamiltonian World Models AI for Math @ ICML 2026 -
proofs
- Equivalence of Induction Principles Well-Ordering, Strong Induction, and Ordinary Induction
- Gauss-Bonnet as "Curvature Counts Turning" A moving-frame and triangulation proof
- The Fundamental Theorem of Algebra A proof via Liouville's theorem
service
- Peer-Review for The 3rd AI for Math Workshop at ICML, 2026