Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
deepseek-ai
/
DeepSeek-Prover-V1
like
2
Follow
DeepSeek
1,208
Safetensors
llama
arxiv:
2405.14333
License:
deepseek-license
Model card
Files
Files and versions
Community
1
Train
main
DeepSeek-Prover-V1
/
LICENSE
zqh11
initial commit
58d2bac
verified
3 months ago
raw
Copy download link
history
blame
contribute
delete
0 Bytes
