Alert button
Picture for Zhangir Azerbayev

Zhangir Azerbayev

Alert button

Llemma: An Open Language Model For Mathematics

Oct 16, 2023
Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, Marco Dos Santos, Stephen McAleer, Albert Q. Jiang, Jia Deng, Stella Biderman, Sean Welleck

Figure 1 for Llemma: An Open Language Model For Mathematics
Figure 2 for Llemma: An Open Language Model For Mathematics
Figure 3 for Llemma: An Open Language Model For Mathematics
Figure 4 for Llemma: An Open Language Model For Mathematics
Viaarxiv icon

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

Oct 10, 2023
Keiran Paster, Marco Dos Santos, Zhangir Azerbayev, Jimmy Ba

Figure 1 for OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text
Figure 2 for OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text
Figure 3 for OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text
Figure 4 for OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text
Viaarxiv icon

ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics

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

Figure 1 for ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
Figure 2 for ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
Figure 3 for ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
Figure 4 for ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
Viaarxiv icon

Explicit Knowledge Transfer for Weakly-Supervised Code Generation

Nov 30, 2022
Zhangir Azerbayev, Ansong Ni, Hailey Schoelkopf, Dragomir Radev

Figure 1 for Explicit Knowledge Transfer for Weakly-Supervised Code Generation
Figure 2 for Explicit Knowledge Transfer for Weakly-Supervised Code Generation
Figure 3 for Explicit Knowledge Transfer for Weakly-Supervised Code Generation
Figure 4 for Explicit Knowledge Transfer for Weakly-Supervised Code Generation
Viaarxiv icon

SummerTime: Text Summarization Toolkit for Non-experts

Sep 10, 2021
Ansong Ni, Zhangir Azerbayev, Mutethia Mutuma, Troy Feng, Yusen Zhang, Tao Yu, Ahmed Hassan Awadallah, Dragomir Radev

Figure 1 for SummerTime: Text Summarization Toolkit for Non-experts
Figure 2 for SummerTime: Text Summarization Toolkit for Non-experts
Figure 3 for SummerTime: Text Summarization Toolkit for Non-experts
Figure 4 for SummerTime: Text Summarization Toolkit for Non-experts
Viaarxiv icon