Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
deepseek-ai
/
DeepSeek-Prover-V1
like
11
Follow
DeepSeek
93.4k
Safetensors
llama
arxiv:
2405.14333
License:
deepseek-license
Model card
Files
Files and versions
xet
Community
1
main
DeepSeek-Prover-V1
/
tokenizer.json
zqh11
upload files
fa366fa
about 1 year ago
raw
Copy download link
history
contribute
delete
4.61 MB
File too large to display, you can
check the raw version
instead.