deepseek-ai
/

DeepSeek-Prover-V2-7B

Model card Files Files and versions

DeepSeek-Prover-V2-7B / .gitattributes

Commit History

initial commit

e138d3a
verified

msr2000 commited on Apr 30