Update README.md

README.md

@@ -28,6 +28,8 @@ A state-of-the-art LEAN4 step prover.
 [💻 Github](https://github.com/InternLM/InternLM-Math) 
 </div>
 
+InternLM-Step-Prover is a 7B language model trained on Lean-Github and multiple sythesis datasets. InternLM-Step-Prover achieves state-of-the-art performances on MiniF2F, ProofNet, and Putnam math benchmarks, showing its formal math proving ability in multiple domains.
+
 # Dialogue Example
 ```
 ### Input Example