@misc{indiciaebccc6087c980,
  title = {FMC: Formalization of Natural Language Mathematical Competition Problems},
  author = {Jiaxuan Xie and Chengwu Liu and Ye Yuan and Siqi Li and Zhiping Xiao and Ming Zhang},
  year = {2025},
  url = {https://arxiv.org/abs/2507.11275},
  note = {Source identifier: 2507.11275}
}