DeLTA Lab @ SFU

university

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

AI & ML interests

None defined yet.

Recent Activity

mikeljl updated a Space about 8 hours ago

delta-lab-ai/lean-refactor-arena

wuyangchen updated a Space 13 days ago

delta-lab-ai/lean-refactor-arena

mikeljl updated a Space 18 days ago

delta-lab-ai/Lean-Finder

View all activity

updated a Space about 8 hours ago

Lean Refactor Arena

Two-track multi-objective Lean 4 proof refactoring

updated a Space 13 days ago

Lean Refactor Arena

Two-track multi-objective Lean 4 proof refactoring

updated a Space 18 days ago

Lean Finder

Code search for Lean 4

updated a model 2 months ago

delta-lab-ai/lean-finder

Feature Extraction • 8B • Updated Jun 4 • 517 • 2

authored a paper 3 months ago

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

Paper • 2605.20244 • Published May 18 • 4

submitted a paper to Daily Papers 3 months ago

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

Paper • 2605.20244 • Published May 18 • 4

published a model 3 months ago

delta-lab-ai/lean-finder

Feature Extraction • 8B • Updated Jun 4 • 517 • 2

published a Space 3 months ago

Lean Refactor Arena

Two-track multi-objective Lean 4 proof refactoring

updated a model 4 months ago

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

Other • Updated Apr 25

updated a model 5 months ago

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

Other • Updated Apr 25

published a model 5 months ago

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

Other • Updated Apr 25

updated a model 6 months ago

delta-lab-ai/SciML-HY

published a model 6 months ago

delta-lab-ai/SciML-HY

authored 2 papers 10 months ago

Hybrid Neural-MPM for Interactive Fluid Simulations in Real-Time

Paper • 2505.18926 • Published May 25, 2025 • 20

Lean Finder: Semantic Search for Mathlib That Understands User Intents

Paper • 2510.15940 • Published Oct 8, 2025 • 1

authored a paper 10 months ago

Lean Finder: Semantic Search for Mathlib That Understands User Intents

Paper • 2510.15940 • Published Oct 8, 2025 • 1

authored a paper 11 months ago

WildSmoke: Ready-to-Use Dynamic 3D Smoke Assets from a Single Video in the Wild

Paper • 2509.11114 • Published Sep 14, 2025 • 3

authored 3 papers 11 months ago

Crafting Physical Adversarial Examples by Combining Differentiable and Physically Based Renders

Paper • 2505.04662 • Published May 7, 2025

Crafting Physical Adversarial Examples by Combining Differentiable and Physically Based Renders

Paper • 2505.04662 • Published May 7, 2025

WildSmoke: Ready-to-Use Dynamic 3D Smoke Assets from a Single Video in the Wild

Paper • 2509.11114 • Published Sep 14, 2025 • 3