CodeV-SVA: Training Specialized LLMs for Hardware Assertion Generation via RTL-Grounded Bidirectional Data Synthesis
Yutong Wu
wyt2000
AI & ML interests
Large Language Models; Formal Verification; Program Synthesis
Recent Activity
updated a dataset about 22 hours ago
wyt2000/Wave2SVA published a dataset about 22 hours ago
wyt2000/Wave2SVA updated a collection 5 months ago
CodeV-SVAOrganizations
None yet
models 7
wyt2000/CodeV-SVA-no-think-no-dut-8B
Text Generation • 8B • Updated • 12 • 1
wyt2000/CodeV-SVA-no-think-8B
Text Generation • 8B • Updated • 5
wyt2000/CodeV-SVA-8B
Text Generation • 8B • Updated • 105
wyt2000/CodeV-SVA-14B
Text Generation • 15B • Updated • 107
wyt2000/InverseCoder-CL-13B
Text Generation • 13B • Updated • 15
wyt2000/InverseCoder-CL-7B
Text Generation • 7B • Updated • 21 • 1
wyt2000/InverseCoder-DS-6.7B
Text Generation • 7B • Updated • 19 • 2
datasets 6
wyt2000/Wave2SVA
Viewer • Updated • 50
wyt2000/CodeV-SVA-datasets
Viewer • Updated • 83.2k • 201 • 1
wyt2000/FVEval-Verified
Preview • Updated • 26
wyt2000/InverseCoder-CL-13B-Evol-Instruct-90K
Viewer • Updated • 90.4k • 30 • 2
wyt2000/InverseCoder-CL-7B-Evol-Instruct-90K
Viewer • Updated • 90.4k • 42
wyt2000/InverseCoder-DS-6.7B-Evol-Instruct-90K
Viewer • Updated • 90.4k • 41 • 3