Welcome

Papers

Talks

Software

Essays

I am a deep learning researcher working on reasoning and long contexts. Currently I am in the first-year of a PhD at Princeton University advised by Prof. Jia Deng.

Github. Twitter. Mathstodon. CV.

Some of my favorite essays.

Research Interests

deep learning; ML systems; formal mathematics.

Contact

E-mail: za2514[at]princeton.edu

Selected Works

• 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