Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
deepseek-ai
/
DeepSeek-Prover-V1
like
11
Follow
DeepSeek
110k
Safetensors
llama
arxiv:
2405.14333
License:
deepseek-license
Model card
Files
Files and versions
xet
Community
1
58d2bac
DeepSeek-Prover-V1
1.59 kB
3 contributors
History:
1 commit
zqh11
initial commit
58d2bac
verified
over 1 year ago
.gitattributes
Safe
1.52 kB
initial commit
over 1 year ago
LICENSE
Safe
0 Bytes
initial commit
over 1 year ago
README.md
Safe
73 Bytes
initial commit
over 1 year ago
