Phi-4-mini-reasoning

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

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