🧑🔬 Zhangir Azerbayev — papers of 2023 — Elamur Research3 papers · all years of Zhangir AzerbayevLlemma: An Open Language Model For MathematicsarXiv:2310.10631Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, et al.2023 · 286 citationsProofNet: Autoformalizing and Formally Proving Undergraduate-Level MathematicsarXiv:2302.12433Zhangir Azerbayev, Bartosz Piotrowski, Hailey Schoelkopf, et al.2023 · 142 citationsOpenWebMath: An Open Dataset of High-Quality Mathematical Web TextarXiv:2310.06786Keiran Paster, Marco Dos Santos, Zhangir Azerbayev, et al.2023 · 132 citationsThis page in Markdown → https://md.research.elamur.ai/free/en/authors/zhangir-azerbayev/year/2023/