Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
🤝
Open to Collab
Yifeng Xiao
yfxiao
Follow
https://yfxiao16.github.io
yifeng-xiao-248161204
AI & ML interests
AI for CPS Design Automation, Auto-formalization
Organizations
None yet
yfxiao
's datasets
2
Sort: Recently updated
yfxiao/contrarc-milp
Preview
•
Updated
Apr 5
•
24
yfxiao/folio-refined
Viewer
•
Updated
Feb 5
•
1.2k
•
110
