APA (7th ed.) Citation

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

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

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