Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • 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

wuyangchen  authored a paper 9 days ago
Hybrid Neural-MPM for Interactive Fluid Simulations in Real-Time
wuyangchen  authored a paper 9 days ago
Lean Finder: Semantic Search for Mathlib That Understands User Intents
mikeljl  authored a paper 11 days ago
Lean Finder: Semantic Search for Mathlib That Understands User Intents
View all activity

Jialin Song's profile picture Wuyang Chen's profile picture Mauricio Soroco's profile picture Yuqiu Liu's profile picture Jialin (Mike) Lu's profile picture

spaces 1

Running
6

Lean Finder

👁

Code search for Lean 4

12 days ago

models 4

delta-lab-ai/controller

Text Generation • 7B • Updated Jun 22 • 4

delta-lab-ai/coder

Text Generation • 7B • Updated Jun 22 • 2

delta-lab-ai/translator

Text Generation • 7B • Updated Jun 22 • 2

delta-lab-ai/finetuned_coder

Text Generation • 7B • Updated Jun 22 • 1

datasets 2

delta-lab-ai/WildSmoke

Updated Aug 24 • 36 • 1

delta-lab-ai/pde-controller

Preview • Updated Feb 18 • 146 • 2
Company
TOS Privacy About Jobs
Website
Models Datasets Spaces Pricing Docs