People & Labs
DeepSeek Trail
Open-source LLMs, code models, MoE, mathematical reasoning, RL reasoning, and formal proof.
1
DeepSeek LLM: Scaling Open-Source Language Models with Longtermism
Coming soon
2
DeepSeek-Coder: When the Large Language Model Meets Programming
Coming soon
3
DeepSeekMoE: Towards Ultimate Expert Specialization in Mixture-of-Experts Language Models
Coming soon
4
DeepSeek-V2: A Strong, Economical, and Efficient Mixture-of-Experts Language Model
Coming soon
5
DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Models
Coming soon
6
DeepSeek-V3 Technical Report
Coming soon
8
DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition
Coming soon