@article{autoformalizerwithtoolfeedback,
  title = {Autoformalizer with Tool Feedback},
  author = {Qi Guo and Jianing Wang and Jianfei Zhang and Deyang Kong and Xiangzhou Huang and Xiangyu Xi and Wei Wang and Jingang Wang and Xunliang Cai and Shikun Zhang and Wei Ye},
  year = {2025},
  eprint = {2510.06857},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2510.06857},
}