Phi-4-mini-reasoning-onnx
Lightweight math reasoning model optimized for multi-step problem solvingMicrosoft
MicrosoftVersion: 2
The provider has not supplied this information.
Training cut-off date
The provider has not supplied this information.Training time
The provider has not supplied this information.Input formats
The provider has not supplied this information.Output formats
The provider has not supplied this information.Supported languages
The provider has not supplied this information.Sample JSON response
The provider has not supplied this information.Model architecture
The provider has not supplied this information.Long context
Phi-4-mini-reasoning supports a 128K token context length, enabling it to process and reason over long mathematical problems and proofs.Optimizing model performance
The provider has not supplied this information.Additional assets
The provider has not supplied this information.About this model
Phi-4-mini-reasoning is designed for multi-step, logic-intensive mathematical problem-solving tasks. These models excel at maintaining context across steps, applying structured logic, and delivering accurate, reliable solutions in domains that require deep analytical thinking.Key model capabilities
Some of the use cases include formal proof generation, symbolic computation, advanced word problems, and a wide range of mathematical reasoning scenarios.Quick facts
Model providerMicrosoft
TypeChat completion
LifecycleGenerally available (GA)
Input typetext
Output typetext
PricingView pricing