What are the hardware requirements for Kimina Prover Distill 1.7B?

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

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

Kimina Prover Distill 1.7B is developed by AI-MO, a model with 1.7b 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 Distill 1.7B?

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

Kimina Prover Distill 1.7B by AI-MO — VRAM 4.1GB, 40K context

Name: Kimina Prover Distill 1.7B
Author: AI-MO

Kimina Prover Distill 1.7B is an open-source language model by AI-MO. Features: 1.7b LLM, VRAM: 4.1GB, Context: 40K, License: apache-2.0, LLM Explorer Score: 0.21.

Base model:finetune:qwen/qwen3... Base model:qwen/qwen3-1.7b Chat Conversational En Endpoints compatible Qwen3 Region:us Safetensors

Model Card on HF 🤗: https://huggingface.co/AI-MO/Kimina-Prover-Distill-1.7B

Kimina Prover Distill 1.7B Parameters and Internals

LLM Name	Kimina Prover Distill 1.7B
Repository 🤗	https://huggingface.co/AI-MO/Kimina-Prover-Distill-1.7B
Base Model(s)	Qwen/Qwen3-1.7B Qwen/Qwen3-1.7B
Model Size	1.7b
Required VRAM	4.1 GB
Updated	2026-08-19
Maintainer	AI-MO
Model Type	qwen3
Model Files	4.1 GB
Supported Languages	en
Model Architecture	Qwen3ForCausalLM
License	apache-2.0
Context Length	40960
Model Max Length	40960
Transformers Version	4.52.4
Tokenizer Class	Qwen2Tokenizer
Padding Token	<\|endoftext\|>
Vocabulary Size	151936
Torch Data Type	bfloat16
Errors	replace

Rank the Kimina Prover Distill 1.7B 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 Distill 1.7B

Best Alternatives	Context / RAM	Downloads	Likes
Lucy 128K	128K / 3.4 GB	123	112
Polaris 1.7B Preview	128K / 3.4 GB	73	8
DictaLM 3.0 1.7B Instruct	60K / 3.4 GB	2842	1
Qwen3 1.7B	40K / 4 GB	5633291	500
DualMind TKD Agentic 1.7B	40K / 3.4 GB	1798	0
Qwen3 1.7B Base MED ChatVector	40K / 3.4 GB	204	1
Atomight V2.5 1.7B	40K / 3.4 GB	1406	1
... 1.7B Base MED ChatVector 0812	40K / 3.4 GB	49	1
Qwen3 1.7B Base MED ChatVector	40K / 3.4 GB	46	1
Qwen3 1.7B Base MED ChatVector	40K / 3.4 GB	44	1

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