Hugging Face's logo
Yutong Wu's picture

Yutong Wu

wyt2000
3 3 7
P(doom) Rejects the premise
Helix0819's profile picture Quazim0t0's profile picture gentlebowl's profile picture
ยท
https://github.com/wyt2000

AI & ML interests

Large Language Models; Formal Verification; Program Synthesis

Recent Activity

published a model about 14 hours ago
wyt2000/CodeV-SVA-VL-27B
published a model about 14 hours ago
wyt2000/CodeV-SVA-VL-9B
updated a dataset about 1 month ago
wyt2000/Wave2SVA
View all activity

Organizations

None yet