Verireason Qwen2.5 7b RTLCoder Verilog GRPO Reasoning Tb GGUF

🚀 VeriReason-Qwen2.5-7b-RTLCoder-Verilog-GRPO-reasoning-tb 量化模型

本項目提供了對 https://huggingface.co/Nellyw888/VeriReason-Qwen2.5-7b-RTLCoder-Verilog-GRPO-reasoning-tb 模型的靜態量化版本，涵蓋多種量化類型，方便不同場景使用。

🚀 快速開始

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

✨ 主要特性

• 多量化類型支持：提供了多種不同大小和質量的量化類型，如 Q2_K、Q3_K_S、Q4_K_S 等，可根據需求選擇。
• 資源參考豐富：提供了量化類型對比圖和相關討論的鏈接，幫助用戶更好地理解和選擇。

📚 詳細文檔

模型信息

可用量化版本

（按大小排序，不一定代表質量。IQ 量化通常優於類似大小的非 IQ 量化）

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

此外，這裡還有 Artefact2 對此事的看法： https://gist.github.com/Artefact2/b5f810600771265fc1e39442288e8ec9

常見問題解答 / 模型請求

若你有相關問題或希望對其他模型進行量化，請參考 https://huggingface.co/mradermacher/model_requests 獲取答案。

📄 許可證

文檔中未提及許可證相關信息。

致謝

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