Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
deepseek-ai
/
DeepSeek-Prover-V1.5-RL
like
65
Follow
DeepSeek
129k
Safetensors
llama
arxiv:
2408.08152
License:
deepseek-license
Model card
Files
Files and versions
xet
Community
10
main
DeepSeek-Prover-V1.5-RL
/
config.json
Commit History
fix config.json (
#7
)
40a7601
verified
deepseekrzz
llllvvuu
commited on
Aug 29, 2024
Set `model_type` to `llama` (
#6
)
eb5126e
verified
deepseekrzz
commited on
Aug 29, 2024
upload models
c7ea101
zqh11
commited on
Aug 15, 2024