Zhangir Azerbayev
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