TY  - RPRT
TI  - Autoformalization in the Era of Large Language Models: A Survey
AU  - Ke Weng
AU  - Lun Du
AU  - Sirui Li
AU  - Wangyue Lu
AU  - Haozhe Sun
AU  - Hengyu Liu
AU  - Tiancheng Zhang
PY  - 2025
UR  - https://arxiv.org/abs/2505.23486
ID  - 2505.23486
ER  -