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

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

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

Journal title: The Eleventh International Conference on Learning Representations (ICLR 2023)

Journal publisher: International Conference on Learning Representations

Published year: 2023