@article{autoformalizationwithlargelanguagemodels,
  title = {Autoformalization with Large Language Models},
  author = {Yuhuai Wu and Albert Q. Jiang and Wenda Li and Markus N. Rabe and Charles Staats and Mateja Jamnik and Christian Szegedy},
  year = {2022},
  eprint = {2205.12615},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2205.12615v1},
}