TY  - RPRT
TI  - MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement
AU  - Lushi Pu
AU  - Weiming Zhang
AU  - Xinheng Xie
AU  - Zixuan Fu
AU  - Bingxiang He
AU  - Hengyu Zhao
AU  - Hongya Lyu
AU  - Xin Li
AU  - Jie Zhou
AU  - Yudong Wang
PY  - 2026
UR  - https://arxiv.org/abs/2608.14221
ID  - 2608.14221
ER  -