AI-MO/Kimina-Prover-Distill-1.7B - Playground

← Back to Catalog

Size

1.7B

Context

32,768

Tool Use

Yes

s Small Models (<=3B)

Low-latency inference Edge deployment Simple classification Batch processing Cost-effective at scale

This model excels at general conversation and instruction following. Use the tabs below to test different capabilities.

System Prompt

Message

Temperature

0.7

Max Tokens

Model Details Multi-Model Playground Full Catalog