Update README.md
Browse files
README.md
CHANGED
|
@@ -25,7 +25,7 @@ tags:
|
|
| 25 |
|
| 26 |
A state-of-the-art LEAN4 step prover.
|
| 27 |
|
| 28 |
-
[💻 Github](https://github.com/InternLM/InternLM-Math)
|
| 29 |
</div>
|
| 30 |
|
| 31 |
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.
|
|
|
|
| 25 |
|
| 26 |
A state-of-the-art LEAN4 step prover.
|
| 27 |
|
| 28 |
+
[💻 Github](https://github.com/InternLM/InternLM-Math) [📊Dataset](https://huggingface.co/datasets/internlm/Lean-Github)
|
| 29 |
</div>
|
| 30 |
|
| 31 |
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.
|