@misc{xin2024aixiv260800009,
  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},
  eprint        = {2608.00009},
  archivePrefix = {aiXiv},
  primaryClass  = {cs.AI},
  url           = {https://aixiv.online/abs/2608.00009},
  note          = {aiXiv:2608.00009v1, sha256:ca189bc14f857dcb…}
}