DeLTA Lab @ SFU

university

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

AI & ML interests

None defined yet.

Recent Activity

ljlmike updated a Space 7 days ago

delta-lab-ai/Lean-Finder

qiuqiu99 updated a dataset 18 days ago

delta-lab-ai/WildSmoke

qiuqiu99 published a dataset 18 days ago

delta-lab-ai/WildSmoke

View all activity

spaces 1

Lean Finder

Code search for Lean 4

models 4

delta-lab-ai/controller

Text Generation • 7B • Updated Jun 22 • 11

delta-lab-ai/coder

Text Generation • 7B • Updated Jun 22 • 8

delta-lab-ai/translator

Text Generation • 7B • Updated Jun 22 • 9

delta-lab-ai/finetuned_coder

Text Generation • 7B • Updated Jun 22 • 7

datasets 2

delta-lab-ai/WildSmoke

Updated 18 days ago • 15

delta-lab-ai/pde-controller

Preview • Updated Feb 18 • 98 • 2