APA (7th ed.) Citation

Wang, Z., Ma, W., Ming, Z., Zhang, G., Yuan, K., & Wen, Z. (2026). M2F: Automated Formalization of Mathematical Literature at Scale.

Chicago Style (17th ed.) Citation

Wang, Zichen, Wanli Ma, Zhenyu Ming, Gong Zhang, Kun Yuan, and Zaiwen Wen. M2F: Automated Formalization of Mathematical Literature at Scale. 2026.

MLA (9th ed.) Citation

Wang, Zichen, et al. M2F: Automated Formalization of Mathematical Literature at Scale. 2026.