Hugging Face's logo
Joey Liu's picture

Joey Liu

xyjoey
1 1
·

AI & ML interests

None yet

Recent Activity

authored a paper 12 days ago
Veri-Sure: Multi-Agent RTL Code Generation with Temporal Tracing, Slicing and Formal Verification
upvoted a paper 13 days ago
Veri-Sure: Multi-Agent RTL Code Generation with Temporal Tracing, Slicing and Formal Verification
updated a dataset 13 days ago
xyjoey/VerilogEval-v2-EXT
View all activity

Organizations

AI for Subsurface Energy and Resource Systems's profile picture Cleer Science's profile picture