TY  - RPRT
TI  - DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data
AU  - Huajian Xin
AU  - Daya Guo
AU  - Zhihong Shao
AU  - Zhizhou Ren
AU  - Qihao Zhu
AU  - Bo Liu
AU  - Chong Ruan
AU  - Wenda Li
AU  - Xiaodan Liang
PY  - 2024
UR  - https://arxiv.org/abs/2405.14333
ID  - 2405.14333
ER  -