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 1 hour ago
delta-lab-ai/lean-refactor-arena
mikeljl
Â
updated
a model
25 days ago
delta-lab-ai/lean-finder-v2-preview
mikeljl
Â
published
a model
26 days ago
delta-lab-ai/lean-finder-v2-preview
View all activity
Team members
12
delta-lab-ai
's models
8
Sort:Â Recently updated
delta-lab-ai/lean-finder-v2-preview
8B
•
Updated
25 days ago
•
47
•
2
delta-lab-ai/lean-finder
Feature Extraction
•
8B
•
Updated
Jun 4
•
1.08k
•
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
•
13
•
1
delta-lab-ai/coder
Text Generation
•
7B
•
Updated
Jun 22, 2025
•
13
delta-lab-ai/translator
Text Generation
•
7B
•
Updated
Jun 22, 2025
•
24
•
1
delta-lab-ai/finetuned_coder
Text Generation
•
7B
•
Updated
Jun 22, 2025
•
18
•
1