Zhangir Azerbayev

1. Llemma: An Open Language Model For Mathematics
   2023/10/16 by Zhangir Azerbayev, Azerbayev, Zhangir, Hailey Schoelkopf +15 · 2 voices · 43 citations
   #cs.CL #cs.AI #cs.LO
2. OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text
   2023/10/10 by Keiran Paster, Marco Dos Santos, Paster, Keiran +5 · 3 voices · 21 citations
   Computer Science · #Mathematics, Computing, and Information Processing #Natural Language Processing Techniques #Topic Modeling #cs.AI #cs.CL #cs.LG
3. ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
   2023/02/24 by Zhangir Azerbayev, Bartosz Piotrowski, Azerbayev, Zhangir +9 · 31 citations
   Computer Science · Mathematics · #Artificial Intelligence (cs.AI) #Computation and Language (cs.CL) #FOS: Computer and information sciences #Logic in Computer Science (cs.LO) #Logic, programming, and type systems #Mathematics, Computing, and Information Processing #Statistics Education and Methodologies