Papers
Deep Learning
- 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
-
OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text
Keiran Paster, Marco Dos Santos, Zhangir Azerbayev, and Jimmy Ba
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
MATH-AI Workshop at NeurIPS'22. Preprint, 2023.
Paper: arXiv
- Explicit Knowledge Transfer for Weakly-Supervised Code Generation
Zhangir Azerbayev, Ansong Ni, Hailey Schoelkopf, and Dragomir Radev
Preprint, 2022. Deep Learning for Code Workshop at ICLR'23.
Paper: arXiv
Computational Cognitive Science
- MetaCOG: A Heirarchical Probabilistic Model for Learning Meta-Cognitive Visual Representations
Marlene Berke, Zhangir Azerbayev, Mario Belledonne, Zenna Tavares, Julian Jara-Ettinger
Preprint, 2021. UAI, 2024.