DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic DataHuajian Xin, Xiaodan Liang, Qihao Zhu et al.|arXiv (Cornell University)|2024Cited by 4