Upload 5 files

.gitattributes

@@ -33,3 +33,7 @@ saved_model/**/* filter=lfs diff=lfs merge=lfs -text
 *.zip filter=lfs diff=lfs merge=lfs -text
 *.zst filter=lfs diff=lfs merge=lfs -text
 *tfevents* filter=lfs diff=lfs merge=lfs -text
+DeepSeek-Prover-V1.5-RL.Q4_K_M.gguf filter=lfs diff=lfs merge=lfs -text
+DeepSeek-Prover-V1.5-RL.Q5_K_M.gguf filter=lfs diff=lfs merge=lfs -text
+DeepSeek-Prover-V1.5-RL.Q6_K.gguf filter=lfs diff=lfs merge=lfs -text
+DeepSeek-Prover-V1.5-RL.Q8_0.gguf filter=lfs diff=lfs merge=lfs -text

DeepSeek-Prover-V1.5-RL.Q4_K_M.gguf

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:9c2749d53cd18295d11b20bfd2258cdeb1ae893615841e5809fc5f3c3f664997
+size 4223359200

DeepSeek-Prover-V1.5-RL.Q5_K_M.gguf

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:123a07de41a750588d1ae7be60014a8258237aa4d90e92dd88fe111b6166dd5f
+size 4926429408

DeepSeek-Prover-V1.5-RL.Q6_K.gguf

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:0426b792bd39e8c515ad07f9f6dc23d5a6d29b23fd5bc15f7615176efa7c2967
+size 5673441504

DeepSeek-Prover-V1.5-RL.Q8_0.gguf

@@ -0,0 +1,3 @@
+version https://git-lfs.github.com/spec/v1
+oid sha256:c0f72b33f4901a26cae28f3580f1d81771bfaf9a90f17657b7ee1da656da4198
+size 7346985184

README.md

@@ -1,5 +1,53 @@
----
-license: other
-license_name: deepseek-license
-license_link: LICENSE
----
+---
+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 |
+
+**Note**: the above RAM figures assume no GPU offloading. If layers are offloaded to the GPU, this will reduce RAM usage and use VRAM instead.
+
+
+
+<!-- README_GGUF.md-provided-files end -->