I work on deep learning at OpenAI. Previously, I worked on reasoning at xAI, and before that I dropped out of a PhD at the Princeton Vision & Learning Lab.
Some of my favorite films, and internet essays.
Research Interests
Deep learning. Reinforcement learning.
Selected Works
-
Grok 3 & Grok 4
-
Llemma: An Open Language Model For Mathematics
-
ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics