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 authored a paper 5 days ago

Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search

wuyangchen submitted a paper 5 days ago

Lean Refactor: Multi-Objective Controllable Proof Optimization via Agentic Strategy Search

View all activity

delta-lab-ai 's models 7

delta-lab-ai/lean-finder

Text Generation • 8B • Updated 6 days ago • 142 • • 2

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

Other • Updated Apr 25

delta-lab-ai/SciML-HY

delta-lab-ai/controller

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

delta-lab-ai/coder

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

delta-lab-ai/translator

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

delta-lab-ai/finetuned_coder

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