DeLTA Lab @ SFU

university

https://delta-lab-ai.github.io/

delta-lab-ai

AI & ML interests

None defined yet.

Recent Activity

mikeljl updated a Space about 23 hours ago

delta-lab-ai/Lean-Finder

wuyangchen authored a paper about 2 months ago

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

wuyangchen authored a paper about 2 months ago

Lean Finder: Semantic Search for Mathlib That Understands User Intents

View all activity

spaces 1

Lean Finder

Code search for Lean 4

models 4

delta-lab-ai/controller

Text Generation • 7B • Updated Jun 22 • 25 • 1

delta-lab-ai/coder

Text Generation • 7B • Updated Jun 22 • 39

delta-lab-ai/translator

Text Generation • 7B • Updated Jun 22 • 29 • 1

delta-lab-ai/finetuned_coder

Text Generation • 7B • Updated Jun 22 • 13 • 1

datasets 2

delta-lab-ai/WildSmoke

Updated Aug 24 • 9 • 2

delta-lab-ai/pde-controller

Preview • Updated Feb 18 • 344 • 3