neal shandilya

team usa physics · codeforces gm · usaco plat

i'm currently a formalization engineer @ millennium research.

we're making machines more reliable.
we turn intent into mathematics and formally verify every step.

lately

• working on quantum36 - verifying the quantum solution to euler’s 36 officers problem in lean
• studying how imperfect rewards affect models learning math

previously, i did machine learning research @ jhu apl through the aspire program.

• presented ieee @ princeton and jhu apl