haielab
/

DeepSeek-Prover-V2-7B-conjecture-base-FineTune-new-config

Text Generation

theorem-proving

Model card Files Files and versions

haielab commited on Jul 16

Commit

ec92ad7

·

verified ·

1 Parent(s): 3c85891

Update README.md

Files changed (1) hide show

README.md +0 -1

README.md CHANGED Viewed

@@ -1,7 +1,6 @@
 ---
 library_name: transformers
 pipeline_tag: text-generation          # causal-LM generation
-license: apache-2.0
 language:
   - en
   - code                               # Lean proof language

 ---
 library_name: transformers
 pipeline_tag: text-generation          # causal-LM generation
 language:
   - en
   - code                               # Lean proof language