Zhangir Azerbayev
I am a deep learning researcher working on reasoning. 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 writing on the internet.
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