Update README.md

README.md

@@ -7,12 +7,12 @@ tags:
 library_name: transformers
 license: apache-2.0
 ---
-# Kimina-Prover-8B
+# Kimina-Prover-Distill-8B
 
 
 ![image/png](https://cdn-uploads.huggingface.co/production/uploads/66775fab8c58c5a12ae629ac/mtT1qq2bKycrWvy9NT0ly.png)
 
-**Kimina-Prover-8B** is a theorem proving model developed by Project Numina and Kimi teams, focusing on competition style problem solving capabilities in Lean 4. It is a distillation of **Kimina-Prover**, a model trained via large scale reinforcement learning. It achieves 77.86% accuracy with Pass@32 on MiniF2F-test.
+**AI-MO/Kimina-Prover-Distill-8B** is a theorem proving model developed by Project Numina and Kimi teams, focusing on competition style problem solving capabilities in Lean 4. It is a distillation of **Kimina-Prover**, a model trained via large scale reinforcement learning. It achieves 77.86% accuracy with Pass@32 on MiniF2F-test.
 
 # Quick Start with vLLM
 
@@ -21,7 +21,7 @@ You can easily do inference using vLLM:
 ```python
 from vllm import LLM, SamplingParams
 from transformers import AutoTokenizer
-model_name = "AI-MO/Kimina-Prover-8B"
+model_name = "AI-MO/Kimina-Prover-Distill-8B"
 model = LLM(model_name)
 tokenizer = AutoTokenizer.from_pretrained(model_name, trust_remote_code=True)
 problem = "The volume of a cone is given by the formula $V = \frac{1}{3}Bh$, where $B$ is the area of the base and $h$ is the height. The area of the base of a cone is 30 square units, and its height is 6.5 units. What is the number of cubic units in its volume?"