Model: deepseek-ai/DeepSeek-Prover-V1
Author: deepseek-ai
Tags: safetensors, llama, arxiv:2405.14333, license:other, region:us
Card metadata: license: other
license_name: deepseek-license
license_link: LICENSE
Likes: 11 | All-time downloads: 7219
Created: 2024-08-16 07:11:35