@misc{indiciae543e25ccc925,
  title = {MathForm: Scaling Mathematical Autoformalization with Knowledge Retrieval and Verification-Guided Refinement},
  author = {Lushi Pu and Weiming Zhang and Xinheng Xie and Zixuan Fu and Bingxiang He and Hengyu Zhao and Hongya Lyu and Xin Li and Jie Zhou and Yudong Wang},
  year = {2026},
  url = {https://arxiv.org/abs/2608.14221},
  note = {Source identifier: 2608.14221}
}