Llemma: An open language model for mathematics Z Azerbayev, H Schoelkopf, K Paster, MD Santos, S McAleer, AQ Jiang, ... arXiv preprint arXiv:2310.10631, 2023 | 77 | 2023 |
Proofnet: Autoformalizing and formally proving undergraduate-level mathematics Z Azerbayev, B Piotrowski, H Schoelkopf, EW Ayers, D Radev, J Avigad arXiv preprint arXiv:2302.12433, 2023 | 34* | 2023 |
Openwebmath: An open dataset of high-quality mathematical web text K Paster, MD Santos, Z Azerbayev, J Ba arXiv preprint arXiv:2310.06786, 2023 | 13 | 2023 |
SummerTime: Text summarization toolkit for non-experts A Ni, Z Azerbayev, M Mutuma, T Feng, Y Zhang, T Yu, AH Awadallah, ... arXiv preprint arXiv:2108.12738, 2021 | 11 | 2021 |
Explicit Knowledge Transfer for Weakly-Supervised Code Generation Z Azerbayev, A Ni, H Schoelkopf, D Radev arXiv preprint arXiv:2211.16740, 2022 | 3 | 2022 |
Learning a metacognition for object detection M Berke, M Belledonne, Z Azerbayev, J Jara-Ettinger | 1 | 2021 |
MetaCOG: Learning a Metacognition to Recover What Objects Are Actually There M Berke, Z Azerbayev, M Belledonne, Z Tavares, J Jara-Ettinger arXiv preprint arXiv:2110.03105, 2021 | | 2021 |