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

DeepSeek-Prover-V1.5-RL

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-RLsafetensorslicense not reviewed
FactsParams6.9BSize13.8 GBFormatssafetensorsTasknot taggedLicensedeepseek-licenseFrom the publisher · License not reviewedlicense not reviewedread terms
$ fw info deepseek-ai/DeepSeek-Prover-V1.5-RL
link only — read the license:
https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-RL/blob/40a760138c68038d9869a436077c16b654b1cc72/LICENSE
From the publisher · License not revieweddeepseek-ai/DeepSeek-Prover-V1.5-RL
Get help

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

Fine-tune of DeepSeek-Prover-V1.5-SFT.

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.

Base model: deepseek-ai/DeepSeek-Prover-V1.5-SFT

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-RL

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-RL
link only — read the license:
https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-RL/blob/40a760138c68038d9869a436077c16b654b1cc72/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-RLDate: 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-RL
Manifest
None: Freeweights does not pin or sign link-only models.
Takedowns
None.

Model tree

Parent

deepseek-ai/DeepSeek-Prover-V1.5-SFT · this model is a finetune of it

No model in the catalog names this one as its parent.

Get it
License and source
Source
huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-RL

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