@inproceedings{wang-etal-2024-theoremllama,
    title = "{T}heorem{L}lama: Transforming General-Purpose {LLM}s into Lean4 Experts",
    author = "Wang, Ruida  and
      Zhang, Jipeng  and
      Jia, Yizhen  and
      Pan, Rui  and
      Diao, Shizhe  and
      Pi, Renjie  and
      Zhang, Tong",
    editor = "Al-Onaizan, Yaser  and
      Bansal, Mohit  and
      Chen, Yun-Nung",
    booktitle = "Proceedings of the 2024 Conference on Empirical Methods in Natural Language Processing",
    month = nov,
    year = "2024",
    address = "Miami, Florida, USA",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/jlcl-multiple-ingestion/2024.emnlp-main.667/",
    doi = "10.18653/v1/2024.emnlp-main.667",
    pages = "11953--11974"
}