Citazione Stile APA (7a Edizione)

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

Citazione stile Chigago Style (17a edizione)

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

Citatione MLA (9a ed.)

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