> list > math.LO
PapersRecentSubjectsDigestForumGuideAboutSubmit a paper
RegisterLog in

Logic (math.LO)

1 paper · newest first · all subjects · RSS

Mon, 7 Sep 2020
[1]
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)