Hugging Face model: deepseek-ai/DeepSeek-Prover-V1.5-Base
Author: deepseek-ai
Created: 2024-08-15 14:35:40
Last modified: 2024-08-29 12:15:00
Likes: 19 | Downloads: 365
Tags: safetensors, llama, arxiv:2408.08152, license:other, region:us
Card metadata:
license: other
license_name: deepseek-license
license_link: LICENSE