DeepSeek LLM: Scaling Open-Source Language Models with LongtermismDeepSeek-AI, Zhangli Sha, Damai Dai et al.|arXiv (Cornell University)|2024Cited by 90
DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic DataHuajian Xin, Xiaodan Liang, Daya Guo et al.|arXiv (Cornell University)|2024Cited by 4
DeepSeek-V3.2: Pushing the Frontier of Open Large Language ModelsDeepSeek-AI, Jinhua Zhu, Aixin Liu et al.|arXiv (Cornell University)|2025Cited by 3