Yutong Wu's picture

Yutong Wu

wyt2000

·

https://github.com/wyt2000

AI & ML interests

Large Language Models; Formal Verification; Program Synthesis

Organizations

None yet

wyt2000 's datasets 4

wyt2000/FVEval-Verified

Preview • Updated Dec 16, 2025 • 16

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

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

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

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

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

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