Xuejun, Y., Zhong, J., Feng, Z., Zhai, P., Yousefzadeh, R., Ng, W. C., . . . Li, Z. (2025). Mathesis: Towards Formal Theorem Proving from Natural Languages.
Chicago Style (17th ed.) CitationXuejun, Yu, et al. Mathesis: Towards Formal Theorem Proving from Natural Languages. 2025.
MLA (9th ed.) CitationXuejun, Yu, et al. Mathesis: Towards Formal Theorem Proving from Natural Languages. 2025.
Warning: These citations may not always be 100% accurate.