nwang227

LLM-EDA's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a model 18 days ago

LLM-EDA/VeriPrefer-deepseek-coder-7b-v1.5-sft

Updated 18 days ago • 5

published a model 18 days ago

LLM-EDA/VeriPrefer-deepseek-coder-7b-v1.5-sft

Updated 18 days ago • 5

upvoted a collection 2 months ago

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

updated a collection 3 months ago

VeriDebug

Collection

VeriDebug: A Unified LLM for Verilog Debugging via Contrastive Embedding and Guided Correction • 2 items • Updated May 7

updated 6 models 4 months ago

LLM-EDA/VeriPrefer-Qwen2.5-14B

15B • Updated Apr 22 • 4 • 1

LLM-EDA/VeriPrefer-Qwen2.5-Coder-7B

8B • Updated Apr 22 • 7 • 1

LLM-EDA/VeriPrefer-CodeQwen1.5-7B

7B • Updated Apr 22 • 3

LLM-EDA/VeriPrefer-deepseek-coder-7b-v1.5

7B • Updated Apr 22 • 5

LLM-EDA/VeriPrefer-CodeLlama-7b

7B • Updated Apr 22 • 8

LLM-EDA/VeriPrefer-Mistral-7B-v0.2

7B • Updated Apr 22 • 3

updated 4 datasets 4 months ago

LLM-EDA/qwen_7B_pairs.json

Viewer • Updated Apr 22 • 1.8k • 22

LLM-EDA/pyra_medium

Viewer • Updated Apr 22 • 7.06k • 58

LLM-EDA/pyra_tb

Viewer • Updated Apr 22 • 6.7k • 64

LLM-EDA/pyra

Viewer • Updated Apr 22 • 90.4k • 22

updated a collection 4 months ago

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