Update README.md
Browse files
README.md
CHANGED
|
@@ -8,9 +8,9 @@ library_name: transformers
|
|
| 8 |
license: apache-2.0
|
| 9 |
---
|
| 10 |
|
| 11 |
-
#
|
| 12 |
|
| 13 |
-
**
|
| 14 |
|
| 15 |
# Quick Start with vLLM
|
| 16 |
|
|
|
|
| 8 |
license: apache-2.0
|
| 9 |
---
|
| 10 |
|
| 11 |
+
# StepFun-Prover-Preview-32B
|
| 12 |
|
| 13 |
+
**StepFun-Prover-Preview-32B** is a theorem proving model developed by StepFun Team. It can iteratively refine the proof sketch via interacting with Lean4, and achieve 70.0% accuracy with Pass@1 on MiniF2F-test. Advanced usage examples can be seen in [github](https://github.com/stepfun-ai/StepFun-Prover-Preview).
|
| 14 |
|
| 15 |
# Quick Start with vLLM
|
| 16 |
|