Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
deepseek-ai
/
DeepSeek-Prover-V1.5-Base
like
6
Follow
DeepSeek
1,402
Safetensors
llama
arxiv:
2408.08152
License:
deepseek-license
Model card
Files
Files and versions
Community
6
Train
a216ed3
DeepSeek-Prover-V1.5-Base
Commit History
upload models
a216ed3
zqh11
commited on
Aug 15
initial commit
55cb630
verified
zqh11
commited on
Aug 15