Verireason Qwen2.5 1.5B Grpo Small GGUF

🚀 VeriReason-Qwen2.5-1.5B-grpo-small量化模型

本項目提供了對 VeriReason-Qwen2.5-1.5B-grpo-small 模型的靜態量化版本，適用於Verilog推理、強化學習等領域。

📦 模型信息

📚 詳細文檔

關於模型

https://huggingface.co/Nellyw888/VeriReason-Qwen2.5-1.5B-grpo-small 的靜態量化版本。目前，加權/矩陣量化似乎不可用（至少我這裡沒有）。如果在靜態量化版本發佈大約一週後它們仍未出現，可能是我沒有計劃進行相關操作。你可以通過發起社區討論來請求獲取這些量化版本。

使用方法

如果你不確定如何使用GGUF文件，請參考 TheBloke的README 以獲取更多詳細信息，包括如何拼接多部分文件。

提供的量化版本

（按大小排序，不一定代表質量。IQ量化通常比相同大小的非IQ量化更優）

這裡有一張由ikawrakow提供的圖表，比較了一些低質量量化類型（數值越低越好）：

此外，Artefact2對此事也有相關看法： https://gist.github.com/Artefact2/b5f810600771265fc1e39442288e8ec9

常見問題解答 / 模型請求

你可以訪問 https://huggingface.co/mradermacher/model_requests 查看一些常見問題的答案，或者如果你希望對其他模型進行量化，也可以在此處瞭解相關信息。

🙏 致謝

感謝我的公司 nethype GmbH，允許我使用其服務器，並對我的工作站進行升級，使我能夠在業餘時間完成這項工作。