LLM Models · deepseek-ai
Browse the world's large language models. Compare parameters, benchmarks, VRAM and more.
Introducing DeepSeek-VL2, an advanced series of large Mixture-of-Experts (MoE) Vision-Language Models that significantly improves upon its predecessor, DeepSeek-VL. DeepSeek-VL2 demonstrates superior capabilities across various tasks, including but not limited to visual question…
Model Download Evaluation Results Model Architecture API Platform License Citation
[🏠Homepage] [🤖 Chat with DeepSeek LLM] [Discord] [Wechat(微信)]
[🏠Homepage] [🤖 Chat with DeepSeek Coder] [Discord] [Wechat(微信)]
DeepSeek-Coder-V2: Breaking the Barrier of Closed-Source Models in Code Intelligence
[🏠Homepage] [🤖 Chat with DeepSeek LLM] [Discord] [Wechat(微信)]
[🏠Homepage] [🤖 Chat with DeepSeek Coder] [Discord] [Wechat(微信)]
[🏠Homepage] [🤖 Chat with DeepSeek LLM] [Discord] [Wechat(微信)]
[🏠Homepage] [🤖 Chat with DeepSeek LLM] [Discord] [Wechat(微信)]
[🏠Homepage] [🤖 Chat with DeepSeek Coder] [Discord] [Wechat(微信)]
We introduce DeepSeek-Prover-V2, an open-source large language model designed for formal theorem proving in Lean 4, with initialization data collected through a recursive theorem proving pipeline powered by DeepSeek-V3. The cold-start training procedure begins by prompting DeepSe…
DeepSeek-V2.5-1210 is an upgraded version of DeepSeek-V2.5, with improvements across various capabilities: