@misc{jiang2022aixiv260800005,
  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          = {2022},
  eprint        = {2608.00005},
  archivePrefix = {aiXiv},
  primaryClass  = {cs.LO},
  url           = {https://aixiv.online/abs/2608.00005},
  note          = {aiXiv:2608.00005v1, sha256:e9c2e2035e64a679…}
}