Mimo 7B SFT
模型简介
专为推理任务优化的7B参数语言模型,通过强化学习训练显著提升数学和代码推理能力
模型特点
强化学习优化
通过精心设计的RL训练流程,显著提升数学和代码推理能力
多token预测
采用MTP技术作为辅助训练目标,既提升性能又加速推理
高效推理
优化后的模型在保持高性能的同时具备更快的推理速度
模型能力
数学问题求解
代码生成与补全
逻辑推理
文本理解与生成
复杂问题解答
使用案例
教育
数学题解答
帮助学生解答各类数学题目,包括高等数学竞赛题
在AIME数学竞赛题上达到68.2%的准确率
编程辅助
代码生成
根据自然语言描述生成可运行的代码
在LiveCodeBench测试中达到57.8%的准确率
🚀 MiMo-7B:解锁语言模型推理潜力
MiMo-7B 是一系列从头开始训练、专为推理任务而生的模型。它在预训练和后训练阶段采用了创新策略,展现出卓越的推理潜力,在数学和代码推理任务上表现出色,甚至超越了部分大模型,为强大推理大语言模型的发展提供了有价值的见解。
🚀 快速开始
模型下载
我们开源了 MiMo-7B 系列,包括基础模型、SFT 模型、从基础模型训练的 RL 模型以及从 SFT 模型训练的 RL 模型的检查点。你可以从以下链接下载:
推理部署
SGLang 推理
得益于 SGLang 团队的贡献,我们在 24 小时内将 MiMo 集成到了 SGLang 主流版本中,MTP 功能也即将支持。
# 从主分支安装最新的 SGlang
python3 -m uv pip install "sglang[all] @ git+https://github.com/sgl-project/sglang.git/@main#egg=sglang&subdirectory=python"
# 启动 SGLang 服务器
python3 -m sglang.launch_server --model-path XiaomiMiMo/MiMo-7B-SFT --host 0.0.0.0 --trust-remote-code
详细使用方法可参考 SGLang 文档,MTP 功能也将在 24 小时内支持。
vLLM 推理
- 推荐方式:我们官方支持使用 我们的 vLLM 分支 进行 MiMo-MTP 推理。
from vllm import LLM, SamplingParams
model_path = "/path/to/MiMo"
llm = LLM(
model=model_path,
trust_remote_code=True,
num_speculative_tokens=1,
disable_log_stats=False
)
sampling_params = SamplingParams(temperature=0.6)
conversation = [
{
"role": "system",
"content": ""
},
{
"role": "user",
"content": "Write an essay about the importance of higher education.",
},
]
outputs = llm.chat(conversation,
sampling_params=sampling_params,
use_tqdm=False)
for output in outputs:
prompt = output.prompt
generated_text = output.outputs[0].text
print(f"Prompt: {prompt!r}, Generated text: {generated_text!r}")
print("=" * 80)
- 或者,你可以为 MiMo 注册一个不加载 MTP 参数的 vLLM 加载器。
import register_mimo_in_vllm
from vllm import LLM, SamplingParams
model_path = "/path/to/MiMo"
llm = LLM(
model=model_path,
trust_remote_code=True,
# num_speculative_tokens=1,
disable_log_stats=False
)
sampling_params = SamplingParams(temperature=0.6)
HuggingFace 推理
from transformers import AutoModel, AutoModelForCausalLM, AutoTokenizer
model_id = "XiaomiMiMo/MiMo-7B-SFT"
model = AutoModelForCausalLM.from_pretrained(model_id, trust_remote_code=True)
tokenizer = AutoTokenizer.from_pretrained(model_id)
inputs = tokenizer(["Today is"], return_tensors='pt')
output = model.generate(**inputs, max_new_tokens = 100)
print(tokenizer.decode(output.tolist()[0]))
推荐环境和提示
- 推荐使用 我们基于 vLLM 0.7.3 开发的 vLLM 分支。
- 推荐使用空的系统提示。
⚠️ 重要提示
评估是在
temperature=0.6
的条件下进行的。AIME24 和 AIME25 是 32 次重复的平均得分,LiveCodeBench v5 (20240801 - 20250201)、LiveCodeBench v6 (20250201 - 20250501)、GPQA - Diamond 和 IF - Eval 是 8 次重复的平均得分,MATH500 和 SuperGPQA 是单次运行的结果。
💡 使用建议
我们尚未使用其他推理引擎对 MiMo 进行验证,欢迎基于 Huggingface 仓库中的模型定义进行贡献。
✨ 主要特性
预训练:为推理而生的基础模型
- 优化数据预处理流程:增强文本提取工具包,应用多维数据过滤,提高预训练数据中的推理模式密度。采用多种策略生成大量多样化的合成推理数据。
- 三阶段数据混合策略:MiMo-7B-Base 在约 25 万亿个标记上进行预训练。
- 引入多标记预测目标:作为额外的训练目标,提升模型性能并加速推理。
后训练策略:开创性的推理模型
- 精心策划训练数据:精心挑选 130K 个数学和代码问题作为 RL 训练数据,可由基于规则的验证器验证。每个问题都经过仔细清理和难度评估,确保数据质量。仅使用基于规则的准确性奖励,避免潜在的奖励破解问题。
- 引入代码奖励机制:为缓解具有挑战性的代码问题的稀疏奖励问题,引入测试难度驱动的代码奖励。通过为不同难度级别的测试用例分配细粒度分数,可通过密集奖励信号更有效地优化策略。
- 实施数据重采样策略:对简单问题实施数据重采样策略,提高滚动采样效率,稳定策略更新,特别是在 RL 训练的后期阶段。
RL 基础设施
- 开发无缝滚动引擎:开发无缝滚动引擎以加速 RL 训练和验证。设计集成了连续滚动、异步奖励计算和早期终止,以最小化 GPU 空闲时间,实现 $2.29\times$ 更快的训练和 $1.96\times$ 更快的验证。
- 支持 MTP 并增强推理引擎:在 vLLM 中支持 MTP,并增强 RL 系统中推理引擎的鲁棒性。
📦 安装指南
SGLang 推理安装
# 从主分支安装最新的 SGlang
python3 -m uv pip install "sglang[all] @ git+https://github.com/sgl-project/sglang.git/@main#egg=sglang&subdirectory=python"
💻 使用示例
基础用法
SGLang 推理
# 启动 SGLang 服务器
python3 -m sglang.launch_server --model-path XiaomiMiMo/MiMo-7B-SFT --host 0.0.0.0 --trust-remote-code
vLLM 推理
from vllm import LLM, SamplingParams
model_path = "/path/to/MiMo"
llm = LLM(
model=model_path,
trust_remote_code=True,
num_speculative_tokens=1,
disable_log_stats=False
)
sampling_params = SamplingParams(temperature=0.6)
conversation = [
{
"role": "system",
"content": ""
},
{
"role": "user",
"content": "Write an essay about the importance of higher education.",
},
]
outputs = llm.chat(conversation,
sampling_params=sampling_params,
use_tqdm=False)
for output in outputs:
prompt = output.prompt
generated_text = output.outputs[0].text
print(f"Prompt: {prompt!r}, Generated text: {generated_text!r}")
print("=" * 80)
HuggingFace 推理
from transformers import AutoModel, AutoModelForCausalLM, AutoTokenizer
model_id = "XiaomiMiMo/MiMo-7B-SFT"
model = AutoModelForCausalLM.from_pretrained(model_id, trust_remote_code=True)
tokenizer = AutoTokenizer.from_pretrained(model_id)
inputs = tokenizer(["Today is"], return_tensors='pt')
output = model.generate(**inputs, max_new_tokens = 100)
print(tokenizer.decode(output.tolist()[0]))
📚 详细文档
模型详情
模型 | 描述 | HuggingFace 下载链接 | ModelScope 下载链接 |
---|---|---|---|
MiMo-7B-Base | 具有卓越推理潜力的基础模型 | XiaomiMiMo/MiMo-7B-Base | XiaomiMiMo/MiMo-7B-Base |
MiMo-7B-RL-Zero | 从基础模型训练的 RL 模型 | XiaomiMiMo/MiMo-7B-RL-Zero | XiaomiMiMo/MiMo-7B-RL-Zero |
MiMo-7B-SFT | 从基础模型训练的 SFT 模型 | XiaomiMiMo/MiMo-7B-SFT | XiaomiMiMo/MiMo-7B-SFT |
MiMo-7B-RL | 从 SFT 模型训练的 RL 模型,性能优越,与 OpenAI o1 - mini 相当 | XiaomiMiMo/MiMo-7B-RL | XiaomiMiMo/MiMo-7B-RL |
评估结果
通用基准测试
基准测试 | GPT - 4o - 0513 | Claude - 3.5 - Sonnet - 1022 | OpenAI o1 - mini | QwQ - 32B - Preview | R1 - Distill - Qwen - 14B | R1 - Distill - Qwen - 7B | MiMo - 7B - RL |
---|---|---|---|---|---|---|---|
GPQA Diamond (Pass@1) | 49.9 | 65.0 | 60.0 | 54.5 | 59.1 | 49.1 | 54.4 |
SuperGPQA (Pass@1) | 42.4 | 48.2 | 45.2 | 43.6 | 40.6 | 28.9 | 40.5 |
DROP (3 - shot F1) | 83.7 | 88.3 | 83.9 | 71.2 | 85.5 | 77.0 | 78.7 |
MMLU - Pro (EM) | 72.6 | 78.0 | 80.3 | 52.0 | 68.8 | 53.5 | 58.6 |
IF - Eval (Prompt Strict) | 84.3 | 86.5 | 84.8 | 40.4 | 78.3 | 60.5 | 61.0 |
数学基准测试
基准测试 | GPT - 4o - 0513 | Claude - 3.5 - Sonnet - 1022 | OpenAI o1 - mini | QwQ - 32B - Preview | R1 - Distill - Qwen - 14B | R1 - Distill - Qwen - 7B | MiMo - 7B - RL |
---|---|---|---|---|---|---|---|
MATH - 500 (Pass@1) | 74.6 | 78.3 | 90.0 | 90.6 | 93.9 | 92.8 | 95.8 |
AIME 2024 (Pass@1) | 9.3 | 16.0 | 63.6 | 50.0 | 69.7 | 55.5 | 68.2 |
AIME 2025 (Pass@1) | 11.6 | 7.4 | 50.7 | 32.4 | 48.2 | 38.8 | 55.4 |
代码基准测试
基准测试 | GPT - 4o - 0513 | Claude - 3.5 - Sonnet - 1022 | OpenAI o1 - mini | QwQ - 32B - Preview | R1 - Distill - Qwen - 14B | R1 - Distill - Qwen - 7B | MiMo - 7B - RL |
---|---|---|---|---|---|---|---|
LiveCodeBench v5 (Pass@1) | 32.9 | 38.9 | 53.8 | 41.9 | 53.1 | 37.6 | 57.8 |
LiveCodeBench v6 (Pass@1) | 30.9 | 37.2 | 46.8 | 39.1 | 31.9 | 23.9 | 49.3 |
MiMo - 7B 系列模型评估
基准测试 | MiMo - 7B - Base | MiMo - 7B - RL - Zero | MiMo - 7B - SFT | MiMo - 7B - RL |
---|---|---|---|---|
MATH500 (Pass@1) | 37.4 | 93.6 | 93.0 | 95.8 |
AIME 2024 (Pass@1) | 32.9 | 56.4 | 58.7 | 68.2 |
AIME 2025 (Pass@1) | 24.3 | 46.3 | 44.3 | 55.4 |
LiveCodeBench v5 (Pass@1) | 32.9 | 49.1 | 52.3 | 57.8 |
LiveCodeBench v6 (Pass@1) | 29.1 | 42.9 | 45.5 | 49.3 |
🔧 技术细节
MiMo-7B 的 MTP 层在预训练和 SFT 阶段进行调整,在 RL 阶段冻结。使用一个 MTP 层进行推测解码时,接受率约为 90%。
📄 许可证
本模型仓库遵循 MIT 许可证。
📚 引用
@misc{coreteam2025mimounlockingreasoningpotential,
title={MiMo: Unlocking the Reasoning Potential of Language Model -- From Pretraining to Posttraining},
author={{Xiaomi LLM-Core Team}},
year={2025},
eprint={2505.07608},
archivePrefix={arXiv},
primaryClass={cs.CL},
url={https://arxiv.org/abs/2505.07608},
}
📞 联系我们
如果您有任何问题,请通过 mimo@xiaomi.com 联系我们,或在仓库中提出问题。
Phi 2 GGUF
其他
Phi-2是微软开发的一个小型但强大的语言模型,具有27亿参数,专注于高效推理和高质量文本生成。
大型语言模型 支持多种语言
P
TheBloke
41.5M
205
Roberta Large
MIT
基于掩码语言建模目标预训练的大型英语语言模型,采用改进的BERT训练方法
大型语言模型 英语
R
FacebookAI
19.4M
212
Distilbert Base Uncased
Apache-2.0
DistilBERT是BERT基础模型的蒸馏版本,在保持相近性能的同时更轻量高效,适用于序列分类、标记分类等自然语言处理任务。
大型语言模型 英语
D
distilbert
11.1M
669
Llama 3.1 8B Instruct GGUF
Meta Llama 3.1 8B Instruct 是一个多语言大语言模型,针对多语言对话用例进行了优化,在常见的行业基准测试中表现优异。
大型语言模型 英语
L
modularai
9.7M
4
Xlm Roberta Base
MIT
XLM-RoBERTa是基于100种语言的2.5TB过滤CommonCrawl数据预训练的多语言模型,采用掩码语言建模目标进行训练。
大型语言模型 支持多种语言
X
FacebookAI
9.6M
664
Roberta Base
MIT
基于Transformer架构的英语预训练模型,通过掩码语言建模目标在海量文本上训练,支持文本特征提取和下游任务微调
大型语言模型 英语
R
FacebookAI
9.3M
488
Opt 125m
其他
OPT是由Meta AI发布的开放预训练Transformer语言模型套件,参数量从1.25亿到1750亿,旨在对标GPT-3系列性能,同时促进大规模语言模型的开放研究。
大型语言模型 英语
O
facebook
6.3M
198
1
基于transformers库的预训练模型,适用于多种NLP任务
大型语言模型
Transformers

1
unslothai
6.2M
1
Llama 3.1 8B Instruct
Llama 3.1是Meta推出的多语言大语言模型系列,包含8B、70B和405B参数规模,支持8种语言和代码生成,优化了多语言对话场景。
大型语言模型
Transformers 支持多种语言

L
meta-llama
5.7M
3,898
T5 Base
Apache-2.0
T5基础版是由Google开发的文本到文本转换Transformer模型,参数规模2.2亿,支持多语言NLP任务。
大型语言模型 支持多种语言
T
google-t5
5.4M
702
精选推荐AI模型
Llama 3 Typhoon V1.5x 8b Instruct
专为泰语设计的80亿参数指令模型,性能媲美GPT-3.5-turbo,优化了应用场景、检索增强生成、受限生成和推理任务
大型语言模型
Transformers 支持多种语言

L
scb10x
3,269
16
Cadet Tiny
Openrail
Cadet-Tiny是一个基于SODA数据集训练的超小型对话模型,专为边缘设备推理设计,体积仅为Cosmo-3B模型的2%左右。
对话系统
Transformers 英语

C
ToddGoldfarb
2,691
6
Roberta Base Chinese Extractive Qa
基于RoBERTa架构的中文抽取式问答模型,适用于从给定文本中提取答案的任务。
问答系统 中文
R
uer
2,694
98