Running
3
Lean Refactor Arena
🌖
Two-track multi-objective Lean 4 proof refactoring
AI & ML interests
None defined yet.
Recent Activity
View all activity
models 7
delta-lab-ai/lean-finder
Feature Extraction • 8B • Updated • 552 • 2
delta-lab-ai/fundamental-physics-neural-operators
Other • Updated
delta-lab-ai/SciML-HY
Updated
delta-lab-ai/controller
Text Generation • 7B • Updated • 10 • 1
delta-lab-ai/coder
Text Generation • 7B • Updated • 10
delta-lab-ai/translator
Text Generation • 7B • Updated • 8 • 1
delta-lab-ai/finetuned_coder
Text Generation • 7B • Updated • 13 • 1