Kimina Prover Preview Distill 1.5B is an open-source language model by AI-MO. Features: 1.5b LLM, VRAM: 3.5GB, Context: 16K, License: apache-2.0, Instruction-Based, LLM Explorer Score: 0.2.
Arxiv:2504.11354 Base model:finetune:qwen/qwen2... Base model:qwen/qwen2.5-math-1... Chat Conversational En Endpoints compatible Instruct Qwen2 Region:us Safetensors
Model Card on HF 🤗: https://huggingface.co/AI-MO/Kimina-Prover-Preview-Distill-1.5B
Kimina Prover Preview Distill 1.5B Benchmarks
nn.n% — How the model compares to the reference models: Anthropic Sonnet 3.5 ("so35"), GPT-4o ("gpt4o") or GPT-4 ("gpt4").
What is the LLM Explorer Rank (Score)
Kimina Prover Preview Distill 1.5B Parameters and Internals
| LLM Name | Kimina Prover Preview Distill 1.5B |
| Repository 🤗 | https://huggingface.co/AI-MO/Kimina-Prover-Preview-Distill-1.5B |
| Base Model(s) | |
| Model Size | 1.5b |
| Required VRAM | 3.5 GB |
| Updated | 2025-12-09 |
| Maintainer | AI-MO |
| Model Type | qwen2 |
| Instruction-Based | Yes |
| Model Files | |
| Supported Languages | en |
| Model Architecture | Qwen2ForCausalLM |
| License | apache-2.0 |
| Context Length | 16384 |
| Model Max Length | 16384 |
| Transformers Version | 4.49.0 |
| Tokenizer Class | Qwen2Tokenizer |
| Padding Token | <|endoftext|> |
| Vocabulary Size | 151936 |
| Torch Data Type | bfloat16 |
| Errors | replace |
Best Alternatives to Kimina Prover Preview Distill 1.5B
Best Alternatives |
Context / RAM |
Downloads |
Likes |
|---|---|---|---|
| AceInstruct 1.5B | 128K / 3.5 GB | 76880 | 20 |
| Gte Qwen2 1.5B Instruct | 128K / 7.1 GB | 329988 | 229 |
| ... Abliterated TIES Qwen2.5 1.5B | 128K / 3.5 GB | 5 | 0 |
| Saba1 1.8B | 128K / 3.6 GB | 13 | 1 |
| Miniclaus Qw1.5B UNAMGS | 128K / 3.5 GB | 8 | 8 |
| Bellatrix 1.5B XElite | 128K / 3.5 GB | 9 | 3 |
| GCIRS Reasoning 1.5B R1 | 128K / 3.5 GB | 20 | 1 |
| ...illed Scout 1.5B Instruct Gen1 | 128K / 3.5 GB | 6 | 0 |
| Deepthink 1.5B Open PRM | 128K / 7.1 GB | 6 | 0 |
| ...pmath Competitive 1.5B Preview | 128K / 7.1 GB | 6 | 0 |
Note: green Score (e.g. "73.2") means that the model is better than AI-MO/Kimina-Prover-Preview-Distill-1.5B .
Rank the Kimina Prover Preview Distill 1.5B Capabilities
🆘 Have you tried this model? Rate its performance. This feedback would greatly assist ML community in identifying the most suitable model for their needs. Your contribution really does make a difference! 🌟
What open-source LLMs or SLMs are you in search of? 52996 in total.
Original data from HuggingFace, OpenCompass and various public git repos.
Check out Ag3ntum — our secure, self-hosted AI agent for server management.
Release v20260328a