Phi-4-mini-reasoning

Phi-4-mini-reasoning 是 Phi-4 系列中一个轻量级的开源模型，基于合成的、推理密集型数据构建，并针对高级数学推理进行了进一步微调。它支持 128K 令牌上下文长度，是内存或计算受限环境下多步、逻辑密集型数学问题解决的理想选择。用例包括形式证明生成、符号计算和高级文字问题，侧重于深度分析思维。

注意：此模型仅为数学推理设计和测试。在下游或高风险场景中部署之前，请评估并降低其准确性、安全性及公平性方面的风险。请参阅模型许可协议以了解使用条款。