Yutong Wu

wyt2000

3 3 7

P(doom) Rejects the premise

https://github.com/wyt2000

AI & ML interests

Large Language Models; Formal Verification; Program Synthesis

Recent Activity

updated a collection 1 day ago

CodeV-SVA-VL

updated a collection 1 day ago

CodeV-SVA-VL

updated a collection 1 day ago

CodeV-SVA-VL

View all activity

Organizations

None yet

updated a collection 1 day ago

CodeV-SVA-VL

Collection

3 items • Updated 1 day ago

updated a model 1 day ago

wyt2000/CodeV-SVA-VL-9B

Updated 1 day ago

published 2 models 2 days ago

wyt2000/CodeV-SVA-VL-27B

Updated 2 days ago

wyt2000/CodeV-SVA-VL-9B

Updated 1 day ago

updated a dataset about 1 month ago

wyt2000/Wave2SVA

Viewer • Updated Sep 2 • 50 • 99

published a dataset about 1 month ago

wyt2000/Wave2SVA

Viewer • Updated Sep 2 • 50 • 99

updated a collection 7 months ago

CodeV-SVA

Collection

CodeV-SVA: Training Specialized LLMs for Hardware Assertion Generation via RTL-Grounded Bidirectional Data Synthesis • 7 items • Updated Mar 25 • 2

updated a dataset 7 months ago

wyt2000/CodeV-SVA-datasets

Viewer • Updated Mar 24 • 83.2k • 161 • 1

authored a paper 7 months ago

QiMeng-CodeV-SVA: Training Specialized LLMs for Hardware Assertion Generation via RTL-Grounded Bidirectional Data Synthesis

Paper • 2603.14239 • Published Mar 15

published a dataset 7 months ago

wyt2000/CodeV-SVA-datasets

Viewer • Updated Mar 24 • 83.2k • 161 • 1

liked a dataset 9 months ago

vkenbeek/verilog-wavedrom

Viewer • Updated May 3, 2024 • 92.3k • 106 • 7

updated a collection 10 months ago

CodeV-SVA

Collection

CodeV-SVA: Training Specialized LLMs for Hardware Assertion Generation via RTL-Grounded Bidirectional Data Synthesis • 7 items • Updated Mar 25 • 2

updated a dataset 10 months ago

wyt2000/FVEval-Verified

Preview • Updated Dec 16, 2025 • 19

published a dataset 10 months ago

wyt2000/FVEval-Verified

Preview • Updated Dec 16, 2025 • 19

updated 3 models 10 months ago

Yutong Wu

AI & ML interests

Recent Activity

Organizations

wyt2000's activity