---
base_model: deepseek-ai/DeepSeek-Prover-V1.5-RL
inference: false
language:
- en
license: other
license_name: deepseek-license
license_link: LICENSE
model_name: DeepSeek Prover V1.5 RL
---
<!-- markdownlint-disable MD041 -->

<!-- header start -->
<!-- 200823 -->
<div align="center">
    <img src="https://raw.githubusercontent.com/semperai/arbius/master/website/public/logo-square-home.png" alt="Arbius" width="60%">
</div>

<div align="center" style="line-height: 1;">
  <a href="https://arbius.ai/" target="_blank" style="margin: 2px;">Homepage</a>
  -
  <a href="https://t.me/arbius_ai" target="_blank" style="margin: 2px;">Telegram</a>
  -
  <a href="https://twitter.com/arbius_ai" target="_blank" style="margin: 2px;">Twitter</a>
</div>


<hr style="margin-top: 1.0em; margin-bottom: 1.0em;">
<!-- header end -->

# DeepSeek Prover V1.5 RL - GGUF
- Original model: [DeepSeek Prover V1.5 RL](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-RL)

<!-- description start -->
## Description

This repo contains GGUF format model files for [DeepSeek Prover V1.5 RL](https://huggingface.co/deepseek-ai/DeepSeek-Prover-V1.5-RL).

<!-- README_GGUF.md-provided-files start -->
## Provided files

| Name | Quant method | Bits |
| ---- | ---- | ---- |
| [DeepSeek-Prover-V1.5-RL-GGUF.Q4_K_M.gguf](https://huggingface.co/arbius/DeepSeek-Prover-V1.5-RL-GGUF/blob/main/DeepSeek-Prover-V1.5-RL.Q4_K_M.gguf) | Q4_K_M | 4 |
| [DeepSeek-Prover-V1.5-RL-GGUF.Q5_K_M.gguf](https://huggingface.co/arbius/DeepSeek-Prover-V1.5-RL-GGUF/blob/main/DeepSeek-Prover-V1.5-RL.Q5_K_M.gguf) | Q5_K_M | 5 |
| [DeepSeek-Prover-V1.5-RL-GGUF.Q6_K.gguf](https://huggingface.co/arbius/DeepSeek-Prover-V1.5-RL-GGUF/blob/main/DeepSeek-Prover-V1.5-RL.Q6_K.gguf) | Q6_K | 6 |
| [DeepSeek-Prover-V1.5-RL-GGUF.Q8_0.gguf](https://huggingface.co/arbius/DeepSeek-Prover-V1.5-RL-GGUF/blob/main/DeepSeek-Prover-V1.5-RL.Q8_0.gguf) | Q8_0 | 8 |

<!-- README_GGUF.md-provided-files end -->