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

Published in Arxiv preprint, 2022

Poster

Download paper here