deepseek-ai
/

DeepSeek-Prover-V1.5-RL

Model card Files Files and versions Community

DeepSeek-Prover-V1.5-RL / .gitattributes

Commit History

initial commit

6c208c3
verified

zqh11 commited on Aug 15