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 • 4
Check https://github.com/CatIIIIIIII/VeriPrefer for usage.