LLM-EDA/pyra
Viewer
•
Updated
•
90.4k
•
23
VeriPrefer
Models and data for the paper "Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning from Testbench Feedback"
-
-
LLM-EDA/pyra_medium
Viewer • Updated • 7.06k • 56 -
LLM-EDA/pyra_tb
Viewer • Updated • 6.7k • 62 -
LLM-EDA/qwen_7B_pairs.json
Viewer • Updated • 1.8k • 23 -
LLM-EDA/VeriPrefer-Mistral-7B-v0.2
7B • Updated • 4 -
LLM-EDA/VeriPrefer-CodeLlama-7b
7B • Updated • 8 -
LLM-EDA/VeriPrefer-CodeQwen1.5-7B
7B • Updated • 4 -
LLM-EDA/VeriPrefer-deepseek-coder-7b-v1.5
7B • Updated • 6 -
LLM-EDA/VeriPrefer-Qwen2.5-Coder-7B
8B • Updated • 7 • 1 -
LLM-EDA/VeriPrefer-Qwen2.5-14B
15B • Updated • 5 • 1