Lean Refactor Arena
🌖
2
Leaderboard for multi-objective Lean 4 proof refactoring
AI & ML interests
None defined yet.
Recent Activity
View all activity
mikeljl
updated a
Space 4 days ago
wuyangchen
authored a
paper 8 days ago
wuyangchen
submitted a
paper to Daily Papers 8 days ago
mikeljl
updated a
Space 9 days ago
mikeljl
updated a
model 9 days ago
mikeljl
published a
model 9 days ago
mikeljl
published a
Space 14 days ago
siyingma
updated a
model about 1 month ago
mhrddmmz
updated a
model 3 months ago
mhrddmmz
published a
model 3 months ago
qiuqiu99
updated a
model 3 months ago
qiuqiu99
published a
model 3 months ago
wuyangchen
authored 2
papers 7 months ago
mikeljl
authored a
paper 7 months ago
wuyangchen
authored a
paper 8 months ago
qiuqiu99
authored 3
papers 8 months ago
Crafting Physical Adversarial Examples by Combining Differentiable and Physically Based Renders
Paper • 2505.04662 • Published
Crafting Physical Adversarial Examples by Combining Differentiable and Physically Based Renders
Paper • 2505.04662 • Published
WildSmoke: Ready-to-Use Dynamic 3D Smoke Assets from a Single Video in the Wild
Paper • 2509.11114 • Published • 3
qiuqiu99
updated a
dataset 9 months ago