P

Phi 4 Mini Reasoning

由microsoft開發
Phi-4-mini-reasoning是一個輕量級的開源模型,專注於高質量、密集推理的數據,並進一步微調以獲得更高級的數學推理能力。
下載量 18.93k
發布時間 : 4/29/2025

模型概述

該模型基於合成數據構建,支持128K的上下文長度,專為在內存/計算受限環境和延遲受限場景下進行多步驟、邏輯密集型的數學問題解決任務而設計。

模型特點

輕量級設計
專為內存/計算受限環境和延遲受限場景設計,適合在邊緣或移動系統上部署。
高級數學推理
通過合成數據微調,擅長解決多步驟、邏輯密集型的數學問題。
長上下文支持
支持128K的上下文長度,適合需要保持長時間上下文的推理任務。
高效推理
在多種推理基準上表現優異,與更大模型相比具有競爭力。

模型能力

數學推理
形式化證明生成
符號計算
高級文字問題解決

使用案例

教育
數學輔導
用於教育應用中的嵌入式輔導,幫助學生解決複雜的數學問題。
提供逐步的問題解決方案,幫助學生理解解題過程。
邊緣計算
邊緣設備部署
在計算或延遲受限的環境中提供高質量、逐步的問題解決能力。
在邊緣設備上實現高效的數學推理和問題解決。
AIbase
智啟未來,您的人工智能解決方案智庫
© 2025AIbase