VeriPrefer
Collection
Models and data for the paper "Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning from Testbench Feedback" • 10 items • Updated
• 3
Check https://github.com/CatIIIIIIII/VeriPrefer for usage.