Update README.md
Browse files
README.md
CHANGED
|
@@ -3,6 +3,7 @@ base_model:
|
|
| 3 |
- deepseek-ai/DeepSeek-Prover-V1.5-SFT
|
| 4 |
datasets:
|
| 5 |
- kfdong/STP_Lean
|
|
|
|
| 6 |
license: mit
|
| 7 |
pipeline_tag: text-generation
|
| 8 |
library_name: transformers
|
|
|
|
| 3 |
- deepseek-ai/DeepSeek-Prover-V1.5-SFT
|
| 4 |
datasets:
|
| 5 |
- kfdong/STP_Lean
|
| 6 |
+
- internlm/Lean-Workbook
|
| 7 |
license: mit
|
| 8 |
pipeline_tag: text-generation
|
| 9 |
library_name: transformers
|