Autoformalization with Large Language Models

Wu, Y.; Jiang, A.Q.; Li, W.; Rabe, M.N.; Staats, C.; Jamnik, M.; Szegedy, C. [Szegedy, Krisztián (Matematika és mes...), szerző]