Verireason Qwen2.5 7b RTLCoder Verilog GRPO Reasoning Tb GGUF
これはQwen2.5-7bをベースにした量子化モデルで、Verilogコード生成と推論タスクに特化しており、強化学習技術を用いて最適化されています。
ダウンロード数 413
リリース時間 : 5/21/2025
モデル概要
このモデルは主にVerilogコード生成とテストベンチ推論に使用され、ハードウェア記述言語(HDL)関連の開発タスクに適しています。
モデル特徴
Verilogコード生成
ハードウェア記述言語Verilogに特化したコード生成能力
強化学習最適化
GRPO強化学習アルゴリズムを用いたモデル最適化
多重量子化バージョン
Q2_Kからf16まで様々な量子化バージョンを提供し、異なるニーズに対応
推論能力
テストベンチ推論能力を備え、ハードウェア設計検証を支援
モデル能力
Verilogコード生成
ハードウェア設計支援
テストベンチ推論
RTLレベルコード最適化
使用事例
ハードウェア設計
Verilogモジュール生成
要求に応じてVerilogハードウェア記述モジュールを自動生成
テストベンチ検証
ハードウェア設計のためのテストベンチを生成し推論検証を実施
EDAツール
RTLコード最適化
電子設計自動化ツールを支援しRTLレベルコードを最適化
おすすめ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