@misc{indiciae09824228c6d9,
  title = {TheoremLlama: Transforming General-Purpose LLMs into Lean4 Experts},
  author = {Ruida Wang and Jipeng Zhang and Yizhen Jia and Rui Pan and Shizhe Diao and Renjie Pi and Tong Zhang},
  year = {2024},
  url = {https://arxiv.org/abs/2407.03203},
  note = {Source identifier: 2407.03203}
}