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 72B by AI-MO

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

  120   
  Autotrain compatible Base model:finetune:qwen/qwen2...   Base model:qwen/qwen2.5-72b   Chat   Conversational   En   Endpoints compatible   Qwen2   Region:us   Safetensors   Sharded   Tensorflow
Model Card on HF 🤗: https://huggingface.co/AI-MO/Kimina-Prover-72B 

Kimina Prover 72B Benchmarks

LLME Score: 0.33254
nn.n% — How the model compares to the reference models: Anthropic Sonnet 3.5 ("so35"), GPT-4o ("gpt4o") or GPT-4 ("gpt4").
Kimina Prover 72B (AI-MO/Kimina-Prover-72B)
🌟 Advertise your project 🚀

Kimina Prover 72B Parameters and Internals

LLM NameKimina Prover 72B
Repository 🤗https://huggingface.co/AI-MO/Kimina-Prover-72B 
Base Model(s)  Qwen/Qwen2.5-72B   Qwen/Qwen2.5-72B
Model Size72b
Required VRAM145.5 GB
Updated2025-07-20
MaintainerAI-MO
Model Typeqwen2
Model Files  3.8 GB: 1-of-37   4.0 GB: 2-of-37   3.8 GB: 3-of-37   4.0 GB: 4-of-37   4.0 GB: 5-of-37   4.0 GB: 6-of-37   3.8 GB: 7-of-37   4.0 GB: 8-of-37   4.0 GB: 9-of-37   4.0 GB: 10-of-37   3.8 GB: 11-of-37   4.0 GB: 12-of-37   4.0 GB: 13-of-37   4.0 GB: 14-of-37   3.8 GB: 15-of-37   4.0 GB: 16-of-37   4.0 GB: 17-of-37   4.0 GB: 18-of-37   3.8 GB: 19-of-37   4.0 GB: 20-of-37   4.0 GB: 21-of-37   4.0 GB: 22-of-37   3.8 GB: 23-of-37   4.0 GB: 24-of-37   4.0 GB: 25-of-37   4.0 GB: 26-of-37   3.8 GB: 27-of-37   4.0 GB: 28-of-37   4.0 GB: 29-of-37   4.0 GB: 30-of-37   3.8 GB: 31-of-37   4.0 GB: 32-of-37   4.0 GB: 33-of-37   4.0 GB: 34-of-37   3.8 GB: 35-of-37   4.0 GB: 36-of-37   3.5 GB: 37-of-37
Supported Languagesen
Model ArchitectureQwen2ForCausalLM
Licensemit
Context Length131072
Model Max Length131072
Transformers Version4.43.1
Tokenizer ClassQwen2Tokenizer
Padding Token<|endoftext|>
Vocabulary Size152064
Torch Data Typebfloat16
Errorsreplace

Best Alternatives to Kimina Prover 72B

Best Alternatives
Context / RAM
Downloads
Likes
Kimi Dev 72B128K / 83.4 GB17123341
Qwen2.5 72B128K / 145.5 GB4130274
AceInstruct 72B128K / 146 GB85318
Ultiima 72B128K / 146.1 GB383
Homer V1.0 Qwen2.5 72B128K / 146.1 GB706
Ultiima 72B V1.5128K / 146.1 GB50
EVA Qwen2.5 72B V0.2128K / 146 GB13321
Qwen2 72B128K / 145.5 GB10754201
...n2.5 72B 2x Instruct TIES V1.0128K / 146.1 GB61
Virtuoso Large128K / 145.5 GB58629
Note: green Score (e.g. "73.2") means that the model is better than AI-MO/Kimina-Prover-72B.

Rank the Kimina Prover 72B 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.

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