Dataset and Model for paper: "VeriReason: Reinforcement Learning with Testbench
Feedback for Reasoning-Enhanced Verilog Generation"
-
Nellyw888/VeriReason-codeLlama-7b-RTLCoder-Verilog-GRPO-reasoning-tb
Reinforcement Learning • Updated • 1.62k • 1 -
Nellyw888/VeriReason-Qwen2.5-3b-RTLCoder-Verilog-GRPO-reasoning-tb
Reinforcement Learning • Updated • 31 -
Nellyw888/VeriReason-Qwen2.5-1.5b-RTLCoder-Verilog-GRPO-reasoning-tb
Reinforcement Learning • Updated • 32 • 1 -
Nellyw888/VeriReason-Qwen2.5-7b-RTLCoder-Verilog-GRPO-reasoning-tb
Reinforcement Learning • Updated • 1.66k • 3