APA (7th ed.) Citation

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.) Citation

Xuejun, Yu, et al. Mathesis: Towards Formal Theorem Proving from Natural Languages. 2025.

MLA (9th ed.) Citation

Xuejun, Yu, et al. Mathesis: Towards Formal Theorem Proving from Natural Languages. 2025.

Warning: These citations may not always be 100% accurate.