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.
deep learning; ML systems; formal mathematics.
- 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
- ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics.
Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, Edward W. Ayers, Dragomir Radev, and Jeremy Avigad
Jeremy Avigad, my advisor at CMU, created this website template