haielab
/

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

Text Generation

theorem-proving

Model card Files Files and versions

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

Commit History

Update README.md

ec92ad7
verified

haielab commited on Jul 16

Update README.md

3c85891
verified

haielab commited on Jul 16

Update README.md

ccd79c8
verified

haielab commited on Jul 16

Update README.md

7a63411
verified

haielab commited on Jul 16

Upload tokenizer

ac08942
verified

haielab commited on Jul 15

Upload model

51910ac
verified

haielab commited on Jul 15

initial commit

34081a3
verified

haielab commited on Jul 13