University of Cambridge; Google Research, Stanford University; Google Research
Yuhuai Wu, Albert Qiaochu Jiang, Wenda Li, Markus Rabe, Charles Staats, Mateja Jamnik, Christian Szegedy
Large language models;Autoformalization;Formal Math;miniF2F.
Autoformalization with Large Language Models