Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
Albert Qiaochu Jiang, S. Welleck, J. Zhou, Wenda Li, Jiacheng Liu, M. Jamnik, Timothée Lacroix, Yuhuai Wu, Guillaume Lample
International Conference on Learning Representations