Style de citation APA (7e éd.)

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%.