@misc{wu2022aixiv260800003,
  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        = {2608.00003},
  archivePrefix = {aiXiv},
  primaryClass  = {cs.LO},
  url           = {https://aixiv.online/abs/2608.00003},
  note          = {aiXiv:2608.00003v1, sha256:60a78f33f8bd3f8a…}
}