Citazione Stile APA (7a Edizione)

Wang, S., Yu, L., Lou, S., Yan, F., Yang, C., Cui, Q., & Zhou, J. (2025). Improving Autoformalization Using Direct Dependency Retrieval.

Citazione stile Chigago Style (17a edizione)

Wang, Shaoqi, Lu Yu, Siwei Lou, Feng Yan, Chunjie Yang, Qing Cui, e Jun Zhou. Improving Autoformalization Using Direct Dependency Retrieval. 2025.

Citatione MLA (9a ed.)

Wang, Shaoqi, et al. Improving Autoformalization Using Direct Dependency Retrieval. 2025.