Open to Collab
Yifeng Xiao
yfxiao
AI & ML interests
AI for CPS Design Automation, Auto-formalization
Recent Activity
updated a dataset 15 days ago
yfxiao/contrarc-milp published a dataset 15 days ago
yfxiao/contrarc-milp updated a dataset about 1 month ago
yfxiao/folio-refinedOrganizations
None yet