TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts.

Ruida Wang, Jipeng Zhang, Yizhen Jia, Rui Pan, Shizhe Diao, Renjie Pi, Tong Zhang

Browse the full EMNLP paper archive.