Autoformalization in the Era of Large Language Models: A Survey

@misc{sun2025autoformalizationeralarge,
      title={Autoformalization in the Era of Large Language Models: A Survey},
      author={Haozhe Sun and Hengyu Liu and Tiancheng Zhang and Lun Du and Sirui Li and Ke Weng and Wangyue Lu},
      year={2025},
      eprint={2505.23486},
      archivePrefix={arXiv},
      primaryClass={cs.AI},
      url={https://arxiv.org/abs/2505.23486},
}