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

arXiv:2210.12283 · 1 repo reference this paper in their README