Style de citation APA (7e éd.)

Weng, K., Du, L., Li, S., Lu, W., Sun, H., Liu, H., & Zhang, T. (2025). Autoformalization in the Era of Large Language Models: A Survey.

Style de citation Chicago (17e éd.)

Weng, Ke, Lun Du, Sirui Li, Wangyue Lu, Haozhe Sun, Hengyu Liu, et Tiancheng Zhang. Autoformalization in the Era of Large Language Models: A Survey. 2025.

Style de citation MLA (9e éd.)

Weng, Ke, et al. Autoformalization in the Era of Large Language Models: A Survey. 2025.