Phi-4 Mini Reasoning
Phi-4 Mini Reasoning is a small text model tuned for multi-step mathematics. Microsoft explicitly describes its design and evaluation scope as mathematical reasoning, rather than a general guarantee across assistant tasks.
What distinguishes this release
It shares the Phi-4 Mini architecture and retains a 128K context. The model card identifies formal proofs, symbolic work and mathematical word problems as intended uses.Phi-4 Mini Reasoning official model card
Build the task around its input and output
Practical guidance. Use a verifier that matches the result: substitute values into an equation, check a proof step or execute a symbolic calculation. A long explanation can be internally consistent and still solve the wrong problem. Keep the requested quantity and units visible in the input.
Review the result in its intended setting
Practical guidance. Choose it for a narrow mathematics component before making it the general router for an application. Review ordinary instruction following and unrelated work separately. Set an output budget that allows a full solution without encouraging unnecessary repetition.
Specifications & access
| Detail | Value and conditions |
|---|---|
| Access | Downloadable |
| Model identifiers | microsoft/Phi-4-mini-reasoning |
| Context window | 131,072 tokens Published checkpoint context; serving engines may impose lower limits Phi-4 Mini Reasoning official model card |
| Model size | 3.8B densePhi-4 Mini Reasoning official model card |
| Input and output | Text input and text outputPhi-4 Mini Reasoning official model card |
| Weight license | MITPhi-4 Mini Reasoning official model card |