Welcome

Papers

Talks

Software

Essays

I am a deep learning researcher. Currently, I work on the reasoning team at xAI. Before that, I was a first-year PhD student at Princeton University advised by Prof. Jia Deng.

Github. Twitter. Mathstodon. CV.

Some of my favorite writing on the internet.

Research Interests

deep learning; reinforcement learning.

Selected Works

• Grok 3. Grok 4.
• Llemma: An Open Language Model For Mathematics
  Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, Marco Dos Santos, Stephen McAleer, Albert Q. Jiang, Jia Deng, Stella Biderman, and Sean Welleck
  Preprint, 2023. ICLR, 2024.
  Paper: arXiv
• ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics.
  Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, Edward W. Ayers, Dragomir Radev, and Jeremy Avigad
  Preprint, 2023.
  Paper: arXiv

Jeremy Avigad, my advisor at CMU, created this website template