Verireason Collection Dataset and Model for paper: "VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generation" • 8 items • Updated 2 days ago • 2
SymRTLO: Enhancing RTL Code Optimization with LLMs and Neuron-Inspired Symbolic Reasoning Paper • 2504.10369 • Published Apr 14, 2025 • 2
VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generation Paper • 2505.11849 • Published May 17, 2025 • 2
Verireason Collection Dataset and Model for paper: "VeriReason: Reinforcement Learning with Testbench Feedback for Reasoning-Enhanced Verilog Generation" • 8 items • Updated 2 days ago • 2
