Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
deepseek-ai
/
DeepSeek-Prover-V1.5-RL
like
30
Safetensors
llama
arxiv:
2408.08152
License:
deepseek-license
Model card
Files
Files and versions
Community
8
Train
6c208c3
DeepSeek-Prover-V1.5-RL
5 contributors
History:
1 commit
zqh11
initial commit
6c208c3
verified
2 months ago
.gitattributes
1.52 kB
initial commit
2 months ago
LICENSE
pickle
0 Bytes
initial commit
2 months ago
README.md
73 Bytes
initial commit
2 months ago