deepseek-ai
/

DeepSeek-Prover-V1

Model card Files Files and versions Community

DeepSeek-Prover-V1

Commit History

upload files

fa366fa

zqh11 commited on Aug 16, 2024

initial commit

58d2bac
verified

zqh11 commited on Aug 16, 2024