Update README.md

README.md

@@ -12,7 +12,7 @@ license: apache-2.0
 
 ![image/png](https://cdn-uploads.huggingface.co/production/uploads/66775fab8c58c5a12ae629ac/mtT1qq2bKycrWvy9NT0ly.png)
 
-**Kimina-Prover-1.7B** 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 72.95% accuracy with Pass@32 on MiniF2F-test.
+**AI-MO/Kimina-Prover-Distill-1.7B** 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 72.95% 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-1.7B"
+model_name = "AI-MO/Kimina-Prover-Distill-1.7B"
 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?"