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