DeLTA Lab @ SFU

university

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

AI & ML interests

None defined yet.

Recent Activity

qiuqiu99 updated a dataset 1 day ago

delta-lab-ai/WildSmoke

qiuqiu99 published a dataset 1 day ago

delta-lab-ai/WildSmoke

ljlmike updated a Space 17 days ago

delta-lab-ai/Lean-Finder

View all activity

delta-lab-ai 's Spaces 1

Lean Finder

Code search for Lean 4