Claim this paper

Autoformalization with Large Language Models
Yuhuai Wu, Albert Q. Jiang, Wenda Li, Markus N. Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy — aiXiv:2608.00003

Log in or create an account to claim it. Claiming takes a minute.