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

Published in The Eleventh International Conference on Learning Representations (ICLR) (Oral), 2023