Update README.md
Browse files
README.md
CHANGED
|
@@ -7,6 +7,6 @@ base_model:
|
|
| 7 |
---
|
| 8 |
# Lean Conjecturer
|
| 9 |
|
| 10 |
-
This model generates Lean 4
|
| 11 |
|
| 12 |
For more details, please see https://github.com/Slim205/RL-Lean
|
|
|
|
| 7 |
---
|
| 8 |
# Lean Conjecturer
|
| 9 |
|
| 10 |
+
This model generates Lean 4 proofs from given theorem statements.
|
| 11 |
|
| 12 |
For more details, please see https://github.com/Slim205/RL-Lean
|