Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
deepseek-ai
/
DeepSeek-Prover-V1.5-Base
like
19
Follow
DeepSeek
125k
Safetensors
llama
arxiv:
2408.08152
License:
deepseek-license
Model card
Files
Files and versions
xet
Community
6
main
DeepSeek-Prover-V1.5-Base
/
LICENSE-MODEL
Commit History
Upload 2 files
57df132
verified
deepseekrzz
commited on
Aug 20, 2024