Hugging Face model: deepseek-ai/DeepSeek-Prover-V1
Author: deepseek-ai
Created: 2024-08-16 07:11:35
Last modified: 2024-08-29 12:13:28
Likes: 12 | Downloads: 125
Tags: safetensors, llama, arxiv:2405.14333, license:other, region:us
Card metadata:
license: other
license_name: deepseek-license
license_link: LICENSE