@misc{indiciae3d4e2d69a2a4,
  title = {LemmaHead: RAG Assisted Proof Generation Using Large Language Models},
  author = {Tianbo Yang and Mingqi Yan and Hongyi Zhao and Tianshuo Yang},
  year = {2025},
  url = {https://arxiv.org/abs/2501.15797},
  note = {Source identifier: 2501.15797}
}