COLLECTION / MODELS

Models

Canonical models connected to artifacts, supported hardware, and recipes.

3 records

DeepSeek-Prover-V1.5-SFTdeepseek-prover-v1-5-sftdeepseekfamilydensearchitecture6.91parameters15,054HF downloads / 30ddeepseek dense

DeepSeek-Prover-V1.5-Basedeepseek-prover-v1-5-basedeepseekfamilydensearchitecture6.91parameters395HF downloads / 30ddeepseek dense

DeepSeek-Prover-V1deepseek-prover-v1deepseekfamilydensearchitecture6.91parameters169HF downloads / 30ddeepseek dense