Citazione Stile APA (7a Edizione)

Yang, T., Yan, M., Zhao, H., & Yang, T. (2025). LemmaHead: RAG Assisted Proof Generation Using Large Language Models.

Citazione stile Chigago Style (17a edizione)

Yang, Tianbo, Mingqi Yan, Hongyi Zhao, e Tianshuo Yang. LemmaHead: RAG Assisted Proof Generation Using Large Language Models. 2025.

Citatione MLA (9a ed.)

Yang, Tianbo, et al. LemmaHead: RAG Assisted Proof Generation Using Large Language Models. 2025.