| 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 | 255 | 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 | 66* | 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 | 57 | 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 | 12 | 2021 |
| Proof-pile, 2022 Z Azerbayev, E Ayers, B Piotrowski URL https://github. com/zhangir-azerbayev/proof-pile, 2022 | 8 | 2022 |
| Llemma: An open language model for mathematics.(2023) Z Azerbayev, H Schoelkopf, K Paster, MD Santos, S McAleer, AQ Jiang, ... arXiv preprint arXiv:2310.10631, 2021 | 7 | 2021 |
| Explicit Knowledge Transfer for Weakly-Supervised Code Generation Z Azerbayev, A Ni, H Schoelkopf, D Radev arXiv preprint arXiv:2211.16740, 2022 | 4 | 2022 |
| 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 | 1 | 2021 |
| Learning a metacognition for object detection M Berke, M Belledonne, Z Azerbayev, J Jara-Ettinger | 1 | 2021 |
| MetaCOG: A Heirarchical Probabilistic Model for Learning Meta-Cognitive Visual Representations M Berke, Z Azerbayev, M Belledonne, Z Tavares, J Jara-Ettinger The 40th Conference on Uncertainty in Artificial Intelligence, 0 | 1 | |
