Citazione Stile APA (7a Edizione)

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.

Citazione stile Chigago Style (17a edizione)

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

Citatione MLA (9a ed.)

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