DeepSeek-R1 incentivizes reasoning in LLMs through reinforcement learningDaya Guo, Junlong Li, Shirong Ma et al.|Nature|2025Cited by 610
DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code IntelligenceDeepSeek-AI, Wenfeng Liang, Qihao Zhu et al.|arXiv (Cornell University)|2024Cited by 49
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-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal DecompositionZ. Z. Ren, Chong Ruan, Zhihong Shao et al.|arXiv (Cornell University)|2025Cited by 0