Hugging Face's logo 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

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

Wuyang Chen's profile picture Mauricio Soroco's profile picture Jialin Song's profile picture Jialin (Mike) Lu's profile picture Yuqiu Liu's profile picture Mehrdad's profile picture Siying Ma's profile picture zhenyu liao's profile picture Weiran Sun's profile picture Kevin Wang's profile picture Rodrigo Stehling's profile picture Anthony Chan's profile picture

delta-lab-ai 's models 8

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
Company
TOS Privacy About Careers
Website
Models Datasets Spaces Pricing Docs