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