runrl
dsp
Based on deepseek-ai/DeepSeek-Prover-V1.5-SFT
Tags
- safetensors
- llama
- arxiv:2408.08152
- base_model:deepseek-ai/DeepSeek-Prover-V1.5-SFT
- base_model:finetune:deepseek-ai/DeepSeek-Prover-V1.5-SFT
- license:other
- region:us
- Author
- runrl
- Architecture
- llama
- License
- other
- Base model
- deepseek-ai/DeepSeek-Prover-V1.5-SFT
- Downloads
- 4
- Likes
- 0