Verireason Qwen2.5 1.5B Grpo Small GGUF
これは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コードに対して論理検証とエラーチェックを実施
おすすめAIモデル
Llama 3 Typhoon V1.5x 8b Instruct
タイ語専用に設計された80億パラメータの命令モデルで、GPT-3.5-turboに匹敵する性能を持ち、アプリケーションシナリオ、検索拡張生成、制限付き生成、推論タスクを最適化
大規模言語モデル
Transformers 複数言語対応

L
scb10x
3,269
16
Cadet Tiny
Openrail
Cadet-TinyはSODAデータセットでトレーニングされた超小型対話モデルで、エッジデバイス推論向けに設計されており、体積はCosmo-3Bモデルの約2%です。
対話システム
Transformers 英語

C
ToddGoldfarb
2,691
6
Roberta Base Chinese Extractive Qa
RoBERTaアーキテクチャに基づく中国語抽出型QAモデルで、与えられたテキストから回答を抽出するタスクに適しています。
質問応答システム 中国語
R
uer
2,694
98