wyt2000/CodeV-SVA-no-think-no-dut-8B
Text Generation • 8B • Updated • 3 • 1
Yutong Wu
wyt2000
AI & ML interests
Large Language Models; Formal Verification; Program Synthesis
Recent Activity
updated a dataset about 5 hours ago
wyt2000/CodeV-SVA-datasets published a dataset 1 day ago
wyt2000/CodeV-SVA-datasetsOrganizations
None yet
wyt2000/CodeV-SVA-no-think-8B
Text Generation • 8B • Updated • 6
wyt2000/CodeV-SVA-8B
Text Generation • 8B • Updated • 3
wyt2000/CodeV-SVA-14B
Text Generation • 15B • Updated • 2
wyt2000/InverseCoder-CL-13B
Text Generation • 13B • Updated • 4
wyt2000/InverseCoder-CL-7B
Text Generation • 7B • Updated • 15 • 1
wyt2000/InverseCoder-DS-6.7B
Text Generation • 7B • Updated • 4 • 2