Mimo 7B RL
模型概述
專為推理任務優化的7B參數語言模型,通過強化學習訓練在數學和編程任務上展現卓越性能
模型特點
推理優化預訓練
採用三階段數據混合策略和多樣化合成推理數據進行預訓練,增強模型推理能力
多token預測
引入MTP作為輔助訓練目標,提升模型性能並加速推理
測試難度驅動獎勵
針對高難度代碼題設計細粒度獎勵機制,優化密集獎勵信號
模型能力
數學問題求解
代碼生成與補全
邏輯推理
複雜問題分解
使用案例
教育
數學競賽題解答
解答AIME等數學競賽題目
在AIME 2024/2025測試中達到68.2%/55.4%準確率
編程
編程題解答
解決LiveCodeBench上的編程問題
在LiveCodeBench v5/v6上達到57.8%/49.3%準確率
🚀 MiMo-7B:專為推理任務而生的語言模型
MiMo-7B是一系列從頭開始訓練、專為推理任務打造的模型。通過優化預訓練和後訓練策略,該模型在數學和代碼推理任務上展現出卓越性能,甚至超越了部分大模型,為開發強大的推理大語言模型提供了有價值的參考。
🚀 快速開始
本項目開源了MiMo-7B系列模型,包含基礎模型、SFT模型、基於基礎模型訓練的RL模型以及基於SFT模型訓練的RL模型的檢查點。你可以通過以下鏈接獲取模型:
✨ 主要特性
預訓練:為推理而生的基礎模型
- 優化數據預處理流程:增強文本提取工具包,應用多維數據過濾,提高預訓練數據中的推理模式密度。同時,採用多種策略生成大量多樣化的合成推理數據。
- 三階段數據混合策略:預訓練採用三階段數據混合策略,MiMo-7B-Base在約25萬億個標記上進行預訓練。
- 引入多標記預測目標:將多標記預測(Multiple-Token Prediction)作為額外的訓練目標,提升模型性能並加速推理。
後訓練策略:開創推理模型先河
- 精心策劃訓練數據:精心挑選130K個數學和代碼問題作為RL訓練數據,這些問題可由基於規則的驗證器進行驗證。每個問題都經過仔細清理和難度評估,以確保數據質量。僅使用基於規則的準確性獎勵,避免潛在的獎勵破解問題。
- 引入測試難度驅動的代碼獎勵:為緩解具有挑戰性的代碼問題的稀疏獎勵問題,引入測試難度驅動的代碼獎勵。通過為不同難度級別的測試用例分配細粒度分數,可通過密集獎勵信號更有效地優化策略。
- 實施數據重採樣策略:對簡單問題實施數據重採樣策略,以提高滾動採樣效率並穩定策略更新,特別是在RL訓練的後期階段。
RL基礎設施
- 開發無縫滾動引擎:開發了無縫滾動引擎(Seamless Rollout Engine),以加速RL訓練和驗證。該設計集成了連續滾動、異步獎勵計算和提前終止功能,以最小化GPU空閒時間,實現了2.29倍的訓練速度提升和1.96倍的驗證速度提升。
- 支持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服務器
python3 -m sglang.launch_server --model-path XiaomiMiMo/MiMo-7B-RL --host 0.0.0.0 --trust-remote-code
詳細使用方法可參考 SGLang文檔,MTP也將在24小時內得到支持。
vLLM推理
推薦方式
使用 我們fork的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)
替代方式
你可以複製 registry/register_mimo_in_vllm.py
到你的目錄並導入:
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-RL"
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開發的fork版本。
- 推薦使用空的系統提示。
📚 詳細文檔
模型詳情
模型名稱 | 描述 | 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 |
⚠️ 重要提示 評估是在
temperature=0.6
的條件下進行的。AIME24和AIME25的分數是32次重複的平均值,LiveCodeBench v5(20240801 - 20250201)、LiveCodeBench v6(20250201 - 20250501)、GPQA-Diamond和IF-Eval的分數是8次重複的平均值,MATH500和SuperGPQA是單次運行的結果。
🔧 技術細節
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