Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
deepseek-ai
/
DeepSeek-Prover-V1.5-RL
like
34
Follow
DeepSeek
811
Safetensors
llama
arxiv:
2408.08152
License:
deepseek-license
Model card
Files
Files and versions
Community
8
Train
1982f70
DeepSeek-Prover-V1.5-RL
/
tokenizer.json
zqh11
upload models
c7ea101
3 months ago
raw
Copy download link
history
Safe
4.61 MB
File too large to display, you can
check the raw version
instead.