DeLTA Lab @ SFU

AI & ML interests

None defined yet.

Recent Activity

mikeljl  updated a Space 5 days ago

delta-lab-ai/lean-refactor-arena

wuyangchen  authored a paper 9 days ago

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

wuyangchen  submitted a paper 9 days ago

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

View all activity

Team members 7