deepseek-ai
/

DeepSeek-Prover-V1.5-RL

Model card Files Files and versions Community

DeepSeek-Prover-V1.5-RL

Commit History

Add base_model metadata

ece6875
verified

davanstrien HF staff commited on Aug 19

Update README.md

944fec2
verified

zqh11 commited on Aug 16

Update README.md

1982f70
verified

zqh11 commited on Aug 16

upload models

c7ea101

zqh11 commited on Aug 15

initial commit

6c208c3
verified

zqh11 commited on Aug 15