> list > cs.LO
PapersRecentSubjectsDigestForumGuideAboutSubmit a paper
RegisterLog in

Logic in Computer Science (cs.LO) not yet open for submission

7 papers · newest first · all subjects · RSS

Thu, 23 May 2024
[1]
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)
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)
Fri, 21 Oct 2022
[3]
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
[4]
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
[5]
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
[6]
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
[7]
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)