Zhangir Azerbayev

According to our database, Zhangir Azerbayev authored at least 6 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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, Sean Welleck

CoRR, 2023

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

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

CoRR, 2023

ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics.

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

CoRR, 2023

2022

Explicit Knowledge Transfer for Weakly-Supervised Code Generation.

Zhangir Azerbayev, Ansong Ni, Hailey Schoelkopf, Dragomir Radev

CoRR, 2022

2021

Learning a Metacognition for Object Detection.

Marlene Berke, Mario Belledonne, Zhangir Azerbayev, Julian Jara-Ettinger

CoRR, 2021

SummerTime: Text Summarization Toolkit for Non-experts.

Ansong Ni, Zhangir Azerbayev, Mutethia Mutuma, Troy Feng, Yusen Zhang, Tao Yu, Ahmed Hassan Awadallah, Dragomir R. Radev

Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing: System Demonstrations, 2021