kfdong
/

STP_model_Lean

Text Generation

text-generation-inference

Model card Files Files and versions

kfdong commited on Mar 24

Commit

da18a5d

·

verified ·

1 Parent(s): c652501

Update README.md

Files changed (1) hide show

README.md +1 -1

README.md CHANGED Viewed

@@ -2,7 +2,7 @@
 base_model:
 - deepseek-ai/DeepSeek-Prover-V1.5-SFT
 datasets:
-- kfdong/STP_Lean_SFT
 license: mit
 pipeline_tag: text-generation
 library_name: transformers

 base_model:
 - deepseek-ai/DeepSeek-Prover-V1.5-SFT
 datasets:
+- kfdong/STP_Lean
 license: mit
 pipeline_tag: text-generation
 library_name: transformers