DeLTA Lab @ SFU

university

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

AI & ML interests

None defined yet.

Recent Activity

mikeljl updated a Space 1 day ago

delta-lab-ai/lean-refactor-arena

wuyangchen updated a Space 16 days ago

delta-lab-ai/lean-refactor-arena

mikeljl updated a Space 22 days ago

delta-lab-ai/Lean-Finder

View all activity

delta-lab-ai 's datasets 2

delta-lab-ai/WildSmoke

Updated Aug 24, 2025 • 43 • 2

delta-lab-ai/pde-controller

Preview • Updated Feb 18, 2025 • 289 • 3