ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics
Azerbayev, Zhangir, Piotrowski, Bartosz, Schoelkopf, Hailey, Ayers, Edward W, Radev, Dragomir, Avigad, Jeremy
Year of Publication 23.02.2023
Year of Publication 23.02.2023
Get full text
Journal Article
Llemma: An Open Language Model For Mathematics
Azerbayev, Zhangir, Schoelkopf, Hailey, Paster, Keiran, Santos, Marco Dos, McAleer, Stephen, Jiang, Albert Q, Deng, Jia, Biderman, Stella, Welleck, Sean
Year of Publication 16.10.2023
Year of Publication 16.10.2023
Get full text
Journal Article
MetaCOG: A Hierarchical Probabilistic Model for Learning Meta-Cognitive Visual Representations
Berke, Marlene D, Azerbayev, Zhangir, Belledonne, Mario, Tavares, Zenna, Jara-Ettinger, Julian
Year of Publication 06.10.2021
Year of Publication 06.10.2021
Get full text
Journal Article
Explicit Knowledge Transfer for Weakly-Supervised Code Generation
Azerbayev, Zhangir, Ni, Ansong, Hailey Schoelkopf, Radev, Dragomir
Published in arXiv.org (07.06.2023)
Get full text
Published in arXiv.org (07.06.2023)
Paper
SummerTime: Text Summarization Toolkit for Non-experts
Ni, Ansong, Azerbayev, Zhangir, Mutuma, Mutethia, Feng, Troy, Zhang, Yusen, Yu, Tao, Awadallah, Ahmed Hassan, Radev, Dragomir
Year of Publication 28.08.2021
Year of Publication 28.08.2021
Get full text
Journal Article
SummerTime: Text Summarization Toolkit for Non-experts
Ni, Ansong, Azerbayev, Zhangir, Mutuma, Mutethia, Feng, Troy, Zhang, Yusen, Yu, Tao, Ahmed Hassan Awadallah, Radev, Dragomir
Published in arXiv.org (10.09.2021)
Get full text
Published in arXiv.org (10.09.2021)
Paper