DeLTA Lab @ SFU

university

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

AI & ML interests

None defined yet.

Recent Activity

mikeljl updated a bucket about 20 hours ago

delta-lab-ai/lean-refactor-arena-storage

mikeljl updated a Space about 22 hours ago

delta-lab-ai/lean-refactor-arena

mikeljl published a bucket 1 day ago

delta-lab-ai/lean-refactor-arena-storage

View all activity

buckets 1

delta-lab-ai/lean-refactor-arena-storage

spaces 2

Lean Refactor Arena

Leaderboard for multi-objective Lean 4 proof refactoring

Lean Finder

Code search for Lean 4

models 6

delta-lab-ai/fundamental-physics-neural-operators

Other • Updated 23 days ago

delta-lab-ai/SciML-HY

delta-lab-ai/controller

Text Generation • 7B • Updated Jun 22, 2025 • 3 • 1

delta-lab-ai/coder

Text Generation • 7B • Updated Jun 22, 2025 • 5

delta-lab-ai/translator

Text Generation • 7B • Updated Jun 22, 2025 • 3 • 1

delta-lab-ai/finetuned_coder

Text Generation • 7B • Updated Jun 22, 2025 • 3 • 1

datasets 2

delta-lab-ai/WildSmoke

Updated Aug 24, 2025 • 6 • 2

delta-lab-ai/pde-controller

Preview • Updated Feb 18, 2025 • 133 • 3