TY  - RPRT
TI  - Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs
AU  - Albert Q. Jiang
AU  - Sean Welleck
AU  - Jin Peng Zhou
AU  - Wenda Li
AU  - Jiacheng Liu
AU  - Mateja Jamnik
AU  - Timothée Lacroix
AU  - Yuhuai Wu
AU  - Guillaume Lample
PY  - 2023
UR  - https://arxiv.org/abs/2210.12283
ID  - 2210.12283
ER  -