LLM EXPLORER
 LLM Explorer: A Curated Large Language Model Directory and Analytics
Dark Theme
  LLM  List    LLM Hosting    LLM Leaderboards    Blog    Newsfeed    Advertise

Kimina Prover Distill 0.6B by AI-MO

 »  All LLMs  »  AI-MO  »  Kimina Prover Distill 0.6B   URL Share it on

  3082   
  Autotrain compatible Base model:finetune:qwen/qwen3...   Base model:qwen/qwen3-0.6b   Chat   Conversational   En   Endpoints compatible   Qwen3   Region:us   Safetensors
Model Card on HF 🤗: https://huggingface.co/AI-MO/Kimina-Prover-Distill-0.6B 

Kimina Prover Distill 0.6B Benchmarks

LLME Score: 0.31685
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 0.6B (AI-MO/Kimina-Prover-Distill-0.6B)
🌟 Advertise your project 🚀

Kimina Prover Distill 0.6B Parameters and Internals

LLM NameKimina Prover Distill 0.6B
Repository 🤗https://huggingface.co/AI-MO/Kimina-Prover-Distill-0.6B 
Base Model(s)  Qwen/Qwen3-0.6B   Qwen/Qwen3-0.6B
Model Size0.6b
Required VRAM1.5 GB
Updated2025-08-22
MaintainerAI-MO
Model Typeqwen3
Model Files  1.5 GB
Supported Languagesen
Model ArchitectureQwen3ForCausalLM
Licenseapache-2.0
Context Length40960
Model Max Length40960
Transformers Version4.55.0
Tokenizer ClassQwen2Tokenizer
Padding Token<|endoftext|>
Vocabulary Size151936
Torch Data Typebfloat16
Errorsreplace

Best Alternatives to Kimina Prover Distill 0.6B

Best Alternatives
Context / RAM
Downloads
Likes
Qwen3 Reranker 0.6B40K / 1.2 GB282793209
Luth 0.6B Instruct40K / 1.2 GB5028
Qwen3 0.6B40K / 1.2 GB2656313
OuteTTS 1.0 0.6B40K / 1.2 GB125688
Qwen3 0.6B FP840K / 1.1 GB515647
Qwen3 0.6B40K / 1.2 GB52543
RStar Coder Qwen3 0.6B40K / 1.2 GB584
Qwen3 0.6B Medical Expert40K / 1.2 GB27284
Qwen3 0.6B MLX Bf1640K / 1.2 GB15825
...3 Zero Coder Reasoning V2.0.8B40K / 1.6 GB1380
Note: green Score (e.g. "73.2") means that the model is better than AI-MO/Kimina-Prover-Distill-0.6B.

Rank the Kimina Prover Distill 0.6B 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? 50804 in total.

Email us: info@extractum.io. Our Privacy Policy  | Terms and Conditions  | Suggest an improvement.
Our Social Media →  
Original data from HuggingFace, OpenCompass and various public git repos.
Release v20241124
  Support LLM Explorer