DeLTA Lab @ SFU

AI & ML interests

None defined yet.

Recent Activity

mikeljl  updated a Space 29 days 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

Team members 5