What are the hardware requirements for Kimina Prover Preview Distill 1.5B?

Kimina Prover Preview Distill 1.5B requires approximately 3.5 GB of VRAM and supports a context window of 16K tokens. Quantized variants may run on less VRAM; see the Quantized Models section on this page.

Who developed Kimina Prover Preview Distill 1.5B and how large is it?

Kimina Prover Preview Distill 1.5B is developed by AI-MO, a model with 1.5b parameters. The model is published as open weights on Hugging Face and indexed on LLM Explorer with full benchmark history.

Where can I download or evaluate Kimina Prover Preview Distill 1.5B?

Kimina Prover Preview Distill 1.5B is hosted on Hugging Face and linked from this page. LLM Explorer also lists quantized variants and similar alternatives if available.

Kimina Prover Preview Distill 1.5B by AI-MO — VRAM 3.5GB, 16K context

Name: Kimina Prover Preview Distill 1.5B
Author: AI-MO

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.18.

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 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)	Qwen/Qwen2.5-Math-1.5B-Instruct Qwen/Qwen2.5-Math-1.5B-Instruct
Model Size	1.5b
Required VRAM	3.5 GB
Updated	2026-08-10
Maintainer	AI-MO
Model Type	qwen2
Instruction-Based	Yes
Model Files	3.5 GB
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

Rank the Kimina Prover Preview Distill 1.5B capabilities

Have you tried this model? Rate its performance — this feedback helps the ML community find the right model for their needs.

Instruction Following and Task Automation
Factuality and Completeness of Knowledge
Censorship and Alignment
Data Analysis and Insight Generation
Text Generation
Text Summarization and Feature Extraction
Code Generation
Multi-Language Support and Translation

Best Alternatives to Kimina Prover Preview Distill 1.5B

Best Alternatives	Context / RAM	Downloads	Likes
Qwen2.5 1.5B 1.3M Stretched	1280K / 3.1 GB	31	0
Gte Qwen2 1.5B Instruct	128K / 7.1 GB	1093732	236
AceInstruct 1.5B	128K / 3.5 GB	139	22
... Abliterated TIES Qwen2.5 1.5B	128K / 3.5 GB	15	0
Saba1 1.8B	128K / 3.6 GB	6	1
Miniclaus Qw1.5B UNAMGS	128K / 3.5 GB	12	8
Bellatrix 1.5B XElite	128K / 3.5 GB	19	3
GCIRS Reasoning 1.5B R1	128K / 3.5 GB	9	1
...illed Scout 1.5B Instruct Gen1	128K / 3.5 GB	10	0
Deepthink 1.5B Open PRM	128K / 7.1 GB	12	0

Note: green Score (e.g. "73.2") means that the model is better than AI-MO/Kimina-Prover-Preview-Distill-1.5B.