Xuejun, Y., Zhong, J., Feng, Z., Zhai, P., Yousefzadeh, R., Ng, W. C., . . . Li, Z. (2025). Mathesis: Towards Formal Theorem Proving from Natural Languages.
Style de citation Chicago (17e éd.)Xuejun, Yu, et al. Mathesis: Towards Formal Theorem Proving from Natural Languages. 2025.
Style de citation MLA (9e éd.)Xuejun, Yu, et al. Mathesis: Towards Formal Theorem Proving from Natural Languages. 2025.
Attention : ces citations peuvent ne pas être correctes à 100%.