Update README.md

README.md

@@ -20,7 +20,7 @@ base_model:
 
 <!-- Provide a quick summary of what the model is/does. -->
 
-This modelcard aims to be a base template for new models. It has been generated using [this raw template](https://github.com/huggingface/huggingface_hub/blob/main/src/huggingface_hub/templates/modelcard_template.md?plain=1).
+Trained on our LeanStatement_SFT dataset, the Model(Based on Qwen2.5-7b) achieves 459/488 pass@1 compilation correctness on MiniF2F and 282/374 on ProofNet, proving the scaling law on lean formalization.
 
 ## Model Details
 
@@ -209,6 +209,4 @@ Carbon emissions can be estimated using the [Machine Learning Impact calculator]
 
 ## Model Card Contact
 
-[More Information Needed]
-
-The Model achieves 459/488 pass@1 compilation correctness on MiniF2F and 282/374 on ProofNet, proving the scaling law on lean formalization.
+[More Information Needed]