P

Phi 4 Mini Reasoning GGUF

由unsloth開發
Phi-4-mini-reasoning是一個基於合成數據的輕量級開放模型,專注於高質量、密集推理數據,並進一步微調以增強數學推理能力。
下載量 21.71k
發布時間 : 5/1/2025

模型概述

該模型屬於Phi-4模型家族,支持128K令牌上下文長度,專為在內存/計算受限環境和延遲受限場景下進行多步驟、邏輯密集的數學問題解決任務而設計。

模型特點

輕量級數學推理
專為數學推理優化,在計算或延遲受限環境中提供高質量、逐步的問題解決方案。
長上下文支持
支持128K令牌的上下文長度,適合處理複雜的多步驟推理任務。
高效推理
3.8B參數的緊湊模型在推理能力和效率之間取得平衡,適合邊緣或移動系統部署。
合成數據訓練
使用來自更強大模型的合成數學數據進行微調,提高了推理性能。

模型能力

數學問題解決
形式化證明生成
符號計算
高級文字問題解答
多步驟邏輯推理

使用案例

教育
數學輔導
作為嵌入式輔導系統,幫助學生解決複雜的數學問題。
提供逐步的問題解決方案
邊緣計算
移動設備數學應用
在移動設備上部署輕量級數學推理助手。
低延遲的數學問題解答
AIbase
智啟未來,您的人工智能解決方案智庫
© 2025AIbase