@misc{indiciaeaee1f4620286,
  title = {MMFormalizer: Multimodal Autoformalization in the Wild},
  author = {Jing Xiong and Qi Han and Yunta Hsieh and Hui Shen and Huajian Xin and Chaofan Tao and Chenyang Zhao and Hengyuan Zhang and Taiqiang Wu and Zhen Zhang and Haochen Wang and Zhongwei Wan and Lingpeng Kong and Ngai Wong},
  year = {2026},
  url = {https://arxiv.org/abs/2601.03017},
  note = {Source identifier: 2601.03017}
}