Projects

Agnostics (ICLR 2026)
Reinforcing coding in any programming language.
ICLR Models Leaderboard ArXiv
Capture Tracking
Tracking the Capture of capabilities in types.
The Teleport Contest
Porting NetHack’s 440k lines of C/Lua to JavaScript
Website