Papers

Deep Learning

• ICLR, 2024

  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.

  arXiv

• ICLR, 2024

  OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text

  Keiran Paster, Marco Dos Santos, Zhangir Azerbayev, and Jimmy Ba.

  arXiv

• MATH-AI Workshop, NeurIPS 2022

  ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics

  Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, Edward W. Ayers, Dragomir Radev, and Jeremy Avigad.

  arXiv

• DL4Code Workshop, ICLR 2023

  Explicit Knowledge Transfer for Weakly-Supervised Code Generation

  Zhangir Azerbayev, Ansong Ni, Hailey Schoelkopf, and Dragomir Radev.

  arXiv

Computational Cognitive Science

• UAI, 2024

  MetaCOG: A Hierarchical Probabilistic Model for Learning Meta-Cognitive Visual Representations

  Marlene Berke, Zhangir Azerbayev, Mario Belledonne, Zenna Tavares, and Julian Jara-Ettinger.