@misc{indiciaea833a520139c,
  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},
  url = {https://arxiv.org/abs/2205.12615},
  note = {Source identifier: 2205.12615}
}