DeLTA Lab @ SFU

delta-lab-ai's activity

• All
• Models
• Datasets
• Spaces
• Papers
• Collections
• Community
• Posts
• Articles

mikeljl 

updated a Space about 2 months ago

Running

12

Lean Finder

👁

12

Code search for Lean 4

wuyangchen 

authored 2 papers 4 months ago

Hybrid Neural-MPM for Interactive Fluid Simulations in Real-Time

Paper • 2505.18926 • Published May 25, 2025 • 20

Lean Finder: Semantic Search for Mathlib That Understands User Intents

Paper • 2510.15940 • Published Oct 8, 2025 • 1

mikeljl 

authored a paper 4 months ago

Lean Finder: Semantic Search for Mathlib That Understands User Intents

Paper • 2510.15940 • Published Oct 8, 2025 • 1

wuyangchen 

authored a paper 5 months ago

WildSmoke: Ready-to-Use Dynamic 3D Smoke Assets from a Single Video in the Wild

Paper • 2509.11114 • Published Sep 14, 2025 • 3

qiuqiu99 

authored 3 papers 5 months ago

Crafting Physical Adversarial Examples by Combining Differentiable and Physically Based Renders

Paper • 2505.04662 • Published May 7, 2025

Crafting Physical Adversarial Examples by Combining Differentiable and Physically Based Renders

Paper • 2505.04662 • Published May 7, 2025

WildSmoke: Ready-to-Use Dynamic 3D Smoke Assets from a Single Video in the Wild

Paper • 2509.11114 • Published Sep 14, 2025 • 3

qiuqiu99 

updated a dataset 6 months ago

delta-lab-ai/WildSmoke

Updated Aug 24, 2025 • 2

qiuqiu99 

published a dataset 6 months ago

delta-lab-ai/WildSmoke

Updated Aug 24, 2025 • 2

mikeljl 

published a Space 8 months ago

Running

12

Lean Finder

👁

12

Code search for Lean 4

maurice1671 

in delta-lab-ai/controller 8 months ago

Add model card

#1 opened 8 months ago by

nielsr

maurice1671 

in delta-lab-ai/coder 8 months ago

Add model card

#1 opened 8 months ago by

nielsr

maurice1671 

in delta-lab-ai/translator 8 months ago

Add model card

#1 opened 8 months ago by

nielsr

maurice1671 

in delta-lab-ai/finetuned_coder 8 months ago

Add model card

#1 opened 8 months ago by

nielsr

maurice1671 

updated 2 models 11 months ago

delta-lab-ai/finetuned_coder

Text Generation • 7B • Updated Jun 22, 2025 • 4 • 1

delta-lab-ai/coder

Text Generation • 7B • Updated Jun 22, 2025 • 2

maurice1671 

published 2 models 11 months ago

delta-lab-ai/finetuned_coder

Text Generation • 7B • Updated Jun 22, 2025 • 4 • 1

delta-lab-ai/coder

Text Generation • 7B • Updated Jun 22, 2025 • 2

maurice1671 

updated a model 11 months ago

delta-lab-ai/translator

Text Generation • 7B • Updated Jun 22, 2025 • 2 • 1