开源代码语言模型，支持多编程语言。DeepSeek-Coder-V2-Lite-Instruct官网入口网址

7B规模的数学推理和科学发现模型，MathΣtral官网入口网址

DeepSeek-R1-Distill-Qwen-7B 是一个开源的推理模型，专注于数学、代码和推理任务。

展示小型语言模型通过自我演化深度思考掌握数学推理能力的研究成果。

Eurus-2-7B-SFT是一个经过数学能力优化的大型语言模型，专注于推理和问题解决.