deepseek-ai
/

DeepSeek-Prover-V1.5-RL

Model card Files Files and versions Community

DeepSeek-Prover-V1.5-RL / README.md

Commit History

Update README.md

1982f70
verified

zqh11 commited on Aug 16, 2024

initial commit

6c208c3
verified

zqh11 commited on Aug 15, 2024