@misc{indiciae731db5464327,
  title = {DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data},
  author = {Huajian Xin and Daya Guo and Zhihong Shao and Zhizhou Ren and Qihao Zhu and Bo Liu and Chong Ruan and Wenda Li and Xiaodan Liang},
  year = {2024},
  url = {https://arxiv.org/abs/2405.14333},
  note = {Source identifier: 2405.14333}
}