Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs.

Albert Qiaochu Jiang, Sean Welleck, Jin Peng Zhou, Timothe Lacroix, Jiacheng Liu, Wenda Li, Mateja Jamnik, Guillaume Lample, Yuhuai Wu

Browse the full ICLR paper archive.