Yutong Wu's picture

Yutong Wu

wyt2000

·

https://github.com/wyt2000

AI & ML interests

Large Language Models; Formal Verification; Program Synthesis

Recent Activity

updated a collection 5 days ago

updated a collection 5 days ago

updated a dataset 6 days ago

wyt2000/CodeV-SVA-datasets

View all activity

Organizations

None yet

wyt2000 's datasets 5

wyt2000/CodeV-SVA-datasets

Viewer • Updated 6 days ago • 83.2k • 31 • 1

wyt2000/FVEval-Verified

Preview • Updated Dec 16, 2025 • 24

wyt2000/InverseCoder-CL-13B-Evol-Instruct-90K

Viewer • Updated Jul 10, 2024 • 90.4k • 30 • 2

wyt2000/InverseCoder-CL-7B-Evol-Instruct-90K

Viewer • Updated Jul 10, 2024 • 90.4k • 16

wyt2000/InverseCoder-DS-6.7B-Evol-Instruct-90K

Viewer • Updated Jul 10, 2024 • 90.4k • 24 • 3