TY  - RPRT
TI  - Autoformalizer with Tool Feedback
AU  - Qi Guo
AU  - Jianing Wang
AU  - Jianfei Zhang
AU  - Deyang Kong
AU  - Xiangzhou Huang
AU  - Xiangyu Xi
AU  - Wei Wang
AU  - Jingang Wang
AU  - Xunliang Cai
AU  - Shikun Zhang
AU  - Wei Ye
PY  - 2025
UR  - https://arxiv.org/abs/2510.06857
ID  - 2510.06857
ER  -