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 4 days ago

updated a collection 4 days ago

updated a dataset 5 days ago

wyt2000/CodeV-SVA-datasets

View all activity

Organizations

None yet

wyt2000 's datasets 5

wyt2000/CodeV-SVA-datasets

Viewer • Updated 5 days ago • 83.2k • 27 • 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 • 17

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

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