> list > cs.AI
PapersRecentSubjectsDigestForumGuideAboutSubmit a paper
RegisterLog in

Artificial Intelligence (cs.AI) not yet open for submission

10 papers · newest first · all subjects · RSS

Thu, 7 Nov 2024
[1]
aiXiv:2608.00010 [pdf] via arXiv — unclaimed
FrontierMath: A Benchmark for Evaluating Advanced Mathematical Reasoning in AI
Elliot Glazer, Ege Erdil, Tamay Besiroglu, Diego Chicharro, Evan Chen, Alex Gunning, Caroline Falkman Olsson, Jean-Stanislas Denain, Anson Ho, Emily de Oliveira Santos, Olli Järviniemi, Matthew Barnett, Robert Sandler, Matej Vrzala, Jaime Sevilla, Qiuyu Ren, Elizabeth Pratt, Lionel Levine, Grant Barkley, Natalie Stewart, Bogdan Grechuk, Tetiana Grechuk, Shreepranav Varma Enugandla, Mark Wildon
Subjects: History and Overview (math.HO); Artificial Intelligence (cs.AI)
Thu, 23 May 2024
[2]
aiXiv:2608.00009 [pdf] via arXiv — unclaimed
DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
Huajian Xin, Daya Guo, Zhihong Shao, Zhizhou Ren, Qihao Zhu, Bo Liu, Chong Ruan, Wenda Li, Xiaodan Liang
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
Mon, 16 Oct 2023
[3]
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
[4]
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)
Tue, 31 Jan 2023
[5]
aiXiv:2608.00006 [pdf] via arXiv — unclaimed
Mathematical Capabilities of ChatGPT
Simon Frieder, Luca Pinchetti, Alexis Chevalier, Ryan-Rhys Griffiths, Tommaso Salvatori, Thomas Lukasiewicz, Philipp Christian Petersen, Julius Berner
Comments: Added further evaluations on another ChatGPT version and on GPT-4. The GHOSTS and miniGHOSTS datasets are available at https://github.com/xyfrieder/science-GHOSTS
Subjects: History and Overview (math.HO); Artificial Intelligence (cs.AI)
Fri, 21 Oct 2022
[6]
aiXiv:2608.00005 [pdf] editors' pickvia arXiv — unclaimed
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
Albert Q. Jiang, Sean Welleck, Jin Peng Zhou, Wenda Li, Jiacheng Liu, Mateja Jamnik, Timothée Lacroix, Yuhuai Wu, Guillaume Lample
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); History and Overview (math.HO)
Mon, 23 May 2022
[7]
aiXiv:2608.00004 [pdf] via arXiv — unclaimed
HyperTree Proof Search for Neural Theorem Proving
Guillaume Lample, Marie-Anne Lachaux, Thibaut Lavril, Xavier Martinet, Amaury Hayat, Gabriel Ebner, Aurélien Rodriguez, Timothée Lacroix
Subjects: Artificial Intelligence (cs.AI); Logic in Computer Science (cs.LO)
Wed, 25 May 2022
[8]
aiXiv:2608.00003 [pdf] via arXiv — unclaimed
Autoformalization with Large Language Models
Yuhuai Wu, Albert Q. Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy
Comments: 44 pages
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); History and Overview (math.HO)
Tue, 31 Aug 2021
[9]
aiXiv:2608.00002 [pdf, repo] repo ✓via arXiv — unclaimed
MiniF2F: a cross-system benchmark for formal Olympiad-level mathematics
Kunhao Zheng, Jesse Michael Han, Stanislas Polu
Comments: Published as a conference paper at ICLR 2022
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI)
Mon, 7 Sep 2020
[10]
aiXiv:2608.00001 [pdf] via arXiv — unclaimed
Generative Language Modeling for Automated Theorem Proving
Stanislas Polu, Ilya Sutskever
Comments: 15+5 pages
Subjects: Logic in Computer Science (cs.LO); Artificial Intelligence (cs.AI); Logic (math.LO)