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 Apr 24 • 3
VeriSeek Collection Model and data for paper "Large Language Model for Verilog Generation with Golden Code Feedback". • 3 items • Updated Apr 21 • 2