Meta AI, University of Cambridge; University of Washington; University of Washington, Allen Institute for AI; Google Research, Cornell University; Google Research, Stanford University; Meta AI; University of Cambridge
Qiaochu Jiang, Sean Welleck, Jin Zhou, Timothée Lacroix, Jiacheng Liu, Wenda Li, Mateja Jamnik, Guillaume Lample, Yuhuai Wu
Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs