TY  - RPRT
TI  - MMFormalizer: Multimodal Autoformalization in the Wild
AU  - Jing Xiong
AU  - Qi Han
AU  - Yunta Hsieh
AU  - Hui Shen
AU  - Huajian Xin
AU  - Chaofan Tao
AU  - Chenyang Zhao
AU  - Hengyuan Zhang
AU  - Taiqiang Wu
AU  - Zhen Zhang
AU  - Haochen Wang
AU  - Zhongwei Wan
AU  - Lingpeng Kong
AU  - Ngai Wong
PY  - 2026
UR  - https://arxiv.org/abs/2601.03017
ID  - 2601.03017
ER  -