@misc{indiciae75a07654241f,
  title = {Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofs},
  author = {Albert Q. Jiang and Sean Welleck and Jin Peng Zhou and Wenda Li and Jiacheng Liu and Mateja Jamnik and Timothée Lacroix and Yuhuai Wu and Guillaume Lample},
  year = {2023},
  url = {https://arxiv.org/abs/2210.12283},
  note = {Source identifier: 2210.12283}
}