APA (7th ed.) Citation

Wang, R., Zhang, J., Jia, Y., Pan, R., Diao, S., Pi, R., & Zhang, T. (2024). TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts.

Chicago Style (17th ed.) Citation

Wang, Ruida, Jipeng Zhang, Yizhen Jia, Rui Pan, Shizhe Diao, Renjie Pi, and Tong Zhang. TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts. 2024.

MLA (9th ed.) Citation

Wang, Ruida, et al. TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts. 2024.