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.
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.
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