Kimina Prover Distill 1.7B by AI-MO

 ยป  All LLMs  ยป  AI-MO  ยป  Kimina Prover Distill 1.7B   URL Share it on

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

Kimina Prover Distill 1.7B Benchmarks

nn.n% — How the model compares to the reference models: Anthropic Sonnet 3.5 ("so35"), GPT-4o ("gpt4o") or GPT-4 ("gpt4").
Kimina Prover Distill 1.7B (AI-MO/Kimina-Prover-Distill-1.7B)
๐ŸŒŸ Advertise your project ๐Ÿš€

Kimina Prover Distill 1.7B Parameters and Internals

LLM NameKimina 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 Size1.7b
Required VRAM4.1 GB
Updated2025-07-19
MaintainerAI-MO
Model Typeqwen3
Model Files  4.1 GB
Supported Languagesen
Model ArchitectureQwen3ForCausalLM
Licenseapache-2.0
Context Length40960
Model Max Length40960
Transformers Version4.52.4
Tokenizer ClassQwen2Tokenizer
Padding Token<|endoftext|>
Vocabulary Size151936
Torch Data Typebfloat16
Errorsreplace

Best Alternatives to Kimina Prover Distill 1.7B

Best Alternatives
Context / RAM
Downloads
Likes
Lucy 128K128K / 3.4 GB7937
Qwen3 1.7B40K / 4 GB1673968189
Lucy40K / 3.4 GB018
Smoothie Qwen3 1.7B40K / 3.4 GB730741
Qwen3 1.7B FP840K / 2.6 GB676027
Qwen3 1.7B40K / 3.4 GB137644
Qwen3 1.7B40K / 3.4 GB31061
...3 1.7B Instruction Noreasoning40K / 3.4 GB114712
DAN Qwen3 1.7B40K / 3.4 GB137714
Qwen3 1.7B Abliterated40K / 3.4 GB102314
Note: green Score (e.g. "73.2") means that the model is better than AI-MO/Kimina-Prover-Distill-1.7B.

Rank the Kimina Prover Distill 1.7B 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! ๐ŸŒŸ

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  

What open-source LLMs or SLMs are you in search of? 49901 in total.

Our Social Media →  
Original data from HuggingFace, OpenCompass and various public git repos.
Release v20241124