基本信息
模型仓库：deepseek-ai/DeepSeek-Prover-V1.5-SFT
组织：deepseek-ai
任务：文本生成
架构与运行信息
模型类型：llama
架构：未提供
支持库：safetensors, pytorch
基础模型：deepseek-ai/DeepSeek-Prover-V1.5-Base
当前修订：master
许可与更新时间
许可：other
创建日期：2025-09-18
最近更新：2025-09-19
硬件需求
尚未在本地填写。
下载地址
尚未在本地填写。
基本使用示例
尚未在本地填写。