Phi-4-mini-reasoning

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

注：此模型仅针对数学推理进行了设计和测试。在下游或高风险场景部署前，请评估并缓解其在准确性、安全性和公平性方面的风险。使用条款请参阅模型许可证。