LLM-EDA/pyra
Viewer • Updated • 90.4k • 19 • 1
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 • 14 -
LLM-EDA/pyra_tb
Viewer • Updated • 6.7k • 9 • 1 -
LLM-EDA/qwen_7B_pairs.json
Viewer • Updated • 1.8k • 14 -
LLM-EDA/VeriPrefer-Mistral-7B-v0.2
7B • Updated • 2 -
LLM-EDA/VeriPrefer-CodeLlama-7b
7B • Updated • 6 -
LLM-EDA/VeriPrefer-CodeQwen1.5-7B
7B • Updated -
LLM-EDA/VeriPrefer-deepseek-coder-7b-v1.5
7B • Updated • 3 -
LLM-EDA/VeriPrefer-Qwen2.5-Coder-7B
8B • Updated • 7 • 1 -
LLM-EDA/VeriPrefer-Qwen2.5-14B
15B • Updated • 6 • 1