CatalogWantedMirrorsLedgerOperating StatementDocsStudio statusCard system
alt.freeweights.deepseek / DeepSeek-Prover-V1.5-Base
From: deepseek-ai <huggingface.co/deepseek-ai>Newsgroups: alt.freeweights.deepseekSubject:

DeepSeek-Prover-V1.5-Base

Date: 2026-11-15

Model with 6.9B parameters. Safetensors weights, 13.8 GB in all. Published by deepseek-ai under deepseek-license.

6.9B params13.8GBDeepSeek-Prover-V1.5-Basesafetensorslicense not reviewed
FactsParams6.9BSize13.8 GBFormatssafetensorsTasknot taggedLicensedeepseek-licenseFrom the publisher · License not reviewedlicense not reviewedread terms
$ fw info deepseek-ai/DeepSeek-Prover-V1.5-Base
link only — read the license:
https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-Base/blob/0b260a2db7a4f491c9e412e4f0ccf5c34947a067/LICENSE
From the publisher · License not revieweddeepseek-ai/DeepSeek-Prover-V1.5-Base
Get help

Get help: custom fine-tune or private deploy. We review your setup before we quote.

Works with

Run8Fine-tune7Convert8Scan2

Runs with

Ranked by fit to this model (safetensors), then by GitHub stars.

TransformersLocalAItinygradTriton Inference ServerBentoMLCTranslate2ExLlamaV2LitServe
OverviewModel cardFilesUse itLicenseProvenanceModel tree

Overview

Size
13.8 GB
Weights
see files
Parameters
6.9B
Formats
safetensors
Task
not tagged
License
deepseek-license (unreviewed)
Files
link only
Publisher
deepseek-ai
Added
2026-11-15
Section
alt.freeweights.deepseek
Lineage

Original release from the publisher.

License not reviewed. Read it on the publisher's page. From the publisher: downloads come from the publisher's own release. Freeweights never hosts a copy. License not reviewed. Read it on the publisher's page. Freeweights does not host a copy.

Model card

No model card stored here.This model is listed with a link to the publisher. Read the publisher's page: https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-Base

Files

License not reviewed. Read it on the publisher's page. From the publisher: downloads come from the publisher's own release. Freeweights never hosts a copy. License not reviewed. Read it on the publisher's page. Freeweights does not host a copy.

There is no manifest and no file list for a link-only model.

Use it

$ fw info deepseek-ai/DeepSeek-Prover-V1.5-Base
link only — read the license:
https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-Base/blob/0b260a2db7a4f491c9e412e4f0ccf5c34947a067/LICENSE
License not reviewed. Read it on the publisher's page. From the publisher: downloads come from the publisher's own release. Freeweights never hosts a copy. License not reviewed. Read it on the publisher's page. Freeweights does not host a copy.

Read the license Open the source

License

Name
deepseek-license
Id
deepseek-license
Class
License not reviewed
Redistribution
no
Listing
From the publisher
Decided
Waiting for a person to read it. 2026-11-15
Terms gate
Yes. The commands stay folded until you open them after reading the license.

Read the license text

License not reviewed. Read it on the publisher's page. From the publisher: downloads come from the publisher's own release. Freeweights never hosts a copy. License not reviewed. Read it on the publisher's page. Freeweights does not host a copy.

Licenses are checked against the license table. A custom license passes only after a person reads it.

Provenance

From: deepseek-ai <huggingface.co/deepseek-ai>Newsgroups: alt.freeweights.deepseekSubject: DeepSeek-Prover-V1.5-BaseDate: 2026-11-15
License not reviewed. Read it on the publisher's page. From the publisher: downloads come from the publisher's own release. Freeweights never hosts a copy. License not reviewed. Read it on the publisher's page. Freeweights does not host a copy.
Source
huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-Base
Manifest
None: Freeweights does not pin or sign link-only models.
Takedowns
None.

Model tree

1 model in the catalog name this one as their parent.

Fine-tunes
1
Fine-tunes 1
Get it
License and source
Source
huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-Base

Related models

All of alt.freeweights.deepseek →
From: timm <huggingface.co/timm>Subject: deepseek_vit_412m.deepseek_v4_1_flash
From: bartowski <huggingface.co/bartowski>Subject: deepseek-ai_DeepSeek-R1-0528-GGUF
From: bartowski <huggingface.co/bartowski>Subject: deepseek-ai_DeepSeek-R1-0528-Qwen3-8B-GGUF
From: bartowski <huggingface.co/bartowski>Subject: deepseek-ai_DeepSeek-V3-0324-GGUF
From: bartowski <huggingface.co/bartowski>Subject: deepseek-ai_DeepSeek-V3.1-GGUF
From: mlx-community <huggingface.co/mlx-community>Subject: deepseek-ai-DeepSeek-V4-Flash-8bit