V

Verireason Qwen2.5 1.5B Grpo Small GGUF

mradermacherによって開発
これはNellyw888/VeriReason-Qwen2.5-1.5B-grpo-smallモデルの静的量子化バージョンで、Verilogコード生成と推論タスクに特化しています。
ダウンロード数 48
リリース時間 : 5/18/2025

モデル概要

このモデルはQwen2.5アーキテクチャに基づく1.5Bパラメータモデルで、GRPO強化学習でトレーニングされ、Verilogコード生成とハードウェア設計関連の推論タスクに特化しています。

モデル特徴

静的量子化バージョン
Q2_Kからf16精度までの複数の量子化オプションを提供し、さまざまなハードウェア要件に対応
Verilog専用
ハードウェア記述言語Verilogのコード生成と推論タスクに最適化
強化学習トレーニング
GRPO強化学習手法を採用してトレーニングを行い、モデルの推論能力を向上

モデル能力

Verilogコード生成
ハードウェア設計推論
RTLコード分析

使用事例

ハードウェア設計
Verilogコード自動生成
設計要件に基づいてVerilogハードウェア記述コードを自動生成
ハードウェア設計検証
既存のVerilogコードに対して論理検証とエラーチェックを実施
AIbase
未来を切り開く、あなたのAIソリューション知識ベース
© 2025AIbase