DeLTA Lab @ SFU

university

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

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

delta-lab-ai 's Spaces 2

Lean Refactor Arena

Leaderboard for multi-objective Lean 4 proof refactoring

Lean Finder

Code search for Lean 4