LLM Name | Kimina Prover Distill 1.7B |
Repository ๐ค | https://huggingface.co/AI-MO/Kimina-Prover-Distill-1.7B |
Base Model(s) | |
Model Size | 1.7b |
Required VRAM | 4.1 GB |
Updated | 2025-07-19 |
Maintainer | AI-MO |
Model Type | qwen3 |
Model Files | |
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 |
Best Alternatives |
Context / RAM |
Downloads |
Likes |
---|---|---|---|
Lucy 128K | 128K / 3.4 GB | 79 | 37 |
Qwen3 1.7B | 40K / 4 GB | 1673968 | 189 |
Lucy | 40K / 3.4 GB | 0 | 18 |
Smoothie Qwen3 1.7B | 40K / 3.4 GB | 73074 | 1 |
Qwen3 1.7B FP8 | 40K / 2.6 GB | 6760 | 27 |
Qwen3 1.7B | 40K / 3.4 GB | 13764 | 4 |
Qwen3 1.7B | 40K / 3.4 GB | 3106 | 1 |
...3 1.7B Instruction Noreasoning | 40K / 3.4 GB | 1147 | 12 |
DAN Qwen3 1.7B | 40K / 3.4 GB | 1377 | 14 |
Qwen3 1.7B Abliterated | 40K / 3.4 GB | 1023 | 14 |
๐ 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! ๐