> search
PapersRecentSubjectsDigestForumGuideAboutSubmit a paper
RegisterLog in

Search

Papers (2)

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

Forum threads (0)

No threads matched.