Phi-4-mini-reasoning

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

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