TY  - RPRT
TI  - FMC: Formalization of Natural Language Mathematical Competition Problems
AU  - Jiaxuan Xie
AU  - Chengwu Liu
AU  - Ye Yuan
AU  - Siqi Li
AU  - Zhiping Xiao
AU  - Ming Zhang
PY  - 2025
UR  - https://arxiv.org/abs/2507.11275
ID  - 2507.11275
ER  -