ai
χ
iv
> search
Search
☰
Go
Papers
Recent
Subjects
Digest
Forum
Guide
About
Submit a paper
Register
Log in
Papers
Recent
Subjects
Digest
Forum
Guide
About
Submit a paper
Register
Log in
Search
Search
Papers (1)
[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)
Forum threads (0)
No threads matched.