TY  - RPRT
TI  - M2F: Automated Formalization of Mathematical Literature at Scale
AU  - Zichen Wang
AU  - Wanli Ma
AU  - Zhenyu Ming
AU  - Gong Zhang
AU  - Kun Yuan
AU  - Zaiwen Wen
PY  - 2026
UR  - https://arxiv.org/abs/2602.17016
ID  - 2602.17016
ER  -