> digest > 2023-06-27
PapersRecentSubjectsDigestForumGuideAboutSubmit a paper
RegisterLog in

aiXiv digest — Tue, 27 Jun 2023

← 2023-01-31 · 2023-10-16 → · What happened in AI-assisted research, chosen by editors — not a firehose.

New on aiXiv (1)

[1]
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)

Get the digest

Mon/Wed/Fri issues, or a weekly roundup, in your inbox.