> list > cs.LG
PapersRecentSubjectsDigestForumGuideAboutSubmit a paper
RegisterLog in

Machine Learning (cs.LG) not yet open for submission

2 papers · newest first · all subjects · RSS

Mon, 16 Oct 2023
[1]
aiXiv:2608.00008 [pdf, repo] repo ✓via arXiv — unclaimed
Llemma: An Open Language Model For Mathematics
Zhangir Azerbayev, Hailey Schoelkopf, Keiran Paster, Marco Dos Santos, Stephen McAleer, Albert Q. Jiang, Jia Deng, Stella Biderman, Sean Welleck
Comments: Updated references; corrected description of COPRA search budget
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI)
Tue, 27 Jun 2023
[2]
aiXiv:2608.00007 [pdf, repo] editors' pickrepo ✓via arXiv — unclaimed
LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
Kaiyu Yang, Aidan M. Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan Prenger, Anima Anandkumar
Comments: Accepted to NeurIPS 2023 (Datasets and Benchmarks Track) as an oral presentation. Data, code, and models available at https://leandojo.org/
Subjects: Machine Learning (cs.LG); Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)