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
13
AI & ML interests
None defined yet.
Recent Activity
wuyangchen
updated
a Space
2 days ago
delta-lab-ai/lean-refactor-arena
mikeljl
updated
a Space
3 days ago
delta-lab-ai/Lean-Finder
mikeljl
updated
a Space
5 days ago
delta-lab-ai/lean-refactor-arena
View all activity
Team members
9
delta-lab-ai
's models
7
Sort: Recently updated
delta-lab-ai/lean-finder
Feature Extraction
•
8B
•
Updated
Jun 4
•
46
•
2
delta-lab-ai/fundamental-physics-neural-operators
Other
•
Updated
Apr 25
delta-lab-ai/SciML-HY
Updated
Feb 24
delta-lab-ai/controller
Text Generation
•
7B
•
Updated
Jun 22, 2025
•
8
•
1
delta-lab-ai/coder
Text Generation
•
7B
•
Updated
Jun 22, 2025
•
6
delta-lab-ai/translator
Text Generation
•
7B
•
Updated
Jun 22, 2025
•
7
•
1
delta-lab-ai/finetuned_coder
Text Generation
•
7B
•
Updated
Jun 22, 2025
•
8
•
1