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
DeLTA Lab @ SFU
university
https://delta-lab-ai.github.io/
delta-lab-ai
Activity Feed
Follow
16
AI & ML interests
None defined yet.
Recent Activity
mikeljl
Â
updated
a Space
about 12 hours ago
delta-lab-ai/lean-refactor-arena
mikeljl
Â
updated
a model
18 days ago
delta-lab-ai/lean-finder-v2-preview
mikeljl
Â
published
a model
20 days ago
delta-lab-ai/lean-finder-v2-preview
View all activity
Team members
12
delta-lab-ai
's datasets
2
Sort:Â Recently updated
delta-lab-ai/WildSmoke
Updated
Aug 24, 2025
•
24
•
2
delta-lab-ai/pde-controller
Preview
•
Updated
Feb 18, 2025
•
272
•
3