Models and data for the paper "Insights from Verification: Training a Verilog Generation LLM with Reinforcement Learning from Testbench Feedback"
nwang227
LLM-EDA
AI & ML interests
None yet
Recent Activity
updated
a model
14 days ago
LLM-EDA/VeriPrefer-Qwen2.5-14B
updated
a model
14 days ago
LLM-EDA/VeriPrefer-Qwen2.5-Coder-7B
updated
a model
14 days ago
LLM-EDA/VeriPrefer-CodeQwen1.5-7B
Organizations
Collections
2
models
9
LLM-EDA/VeriPrefer-Qwen2.5-14B
Updated
•
7
•
1
LLM-EDA/VeriPrefer-Qwen2.5-Coder-7B
Updated
•
10
•
1
LLM-EDA/VeriPrefer-CodeQwen1.5-7B
Updated
•
9
LLM-EDA/VeriPrefer-deepseek-coder-7b-v1.5
Updated
•
9
LLM-EDA/VeriPrefer-CodeLlama-7b
Updated
•
7
LLM-EDA/VeriPrefer-Mistral-7B-v0.2
Updated
•
6
LLM-EDA/VeriSeek
Text Generation
•
Updated
•
7
LLM-EDA/VeriDebug
Updated
LLM-EDA/RNAErnie
Fill-Mask
•
Updated
•
197
•
1
datasets
7
LLM-EDA/qwen_7B_pairs.json
Viewer
•
Updated
•
1.8k
•
81
LLM-EDA/pyra_medium
Viewer
•
Updated
•
7.06k
•
120
LLM-EDA/pyra_tb
Viewer
•
Updated
•
6.7k
•
109
LLM-EDA/pyra
Viewer
•
Updated
•
90.4k
•
91
LLM-EDA/vgen_cpp
Viewer
•
Updated
•
92k
•
41
•
1
LLM-EDA/opencores
Viewer
•
Updated
•
834
•
65
•
3
LLM-EDA/BuggyVerilog
Preview
•
Updated
•
14