Model: deepseek-ai/DeepSeek-Prover-V1.5-SFT
Author: deepseek-ai
Tags: safetensors, llama, arxiv:2408.08152, base_model:deepseek-ai/DeepSeek-Prover-V1.5-Base, base_model:finetune:deepseek-ai/DeepSeek-Prover-V1.5-Base, license:other, region:us
Base models (finetune): id: deepseek-ai/DeepSeek-Prover-V1.5-Base
Card metadata: license: other
license_name: deepseek-license
license_link: LICENSE
base_model: deepseek-ai/DeepSeek-Prover-V1.5-Base
Likes: 13 | All-time downloads: 83575
Created: 2024-08-15 14:36:27