Xie, J., Liu, C., Yuan, Y., Li, S., Xiao, Z., & Zhang, M. (2025). FMC: Formalization of Natural Language Mathematical Competition Problems.
Chicago Style (17th ed.) CitationXie, Jiaxuan, Chengwu Liu, Ye Yuan, Siqi Li, Zhiping Xiao, and Ming Zhang. FMC: Formalization of Natural Language Mathematical Competition Problems. 2025.
MLA (9th ed.) CitationXie, Jiaxuan, et al. FMC: Formalization of Natural Language Mathematical Competition Problems. 2025.
Warning: These citations may not always be 100% accurate.