Lean Finder
👁
12
Code search for Lean 4
AI & ML interests
None defined yet.
Recent Activity
View all activity
mikeljl
updated
a
Space
10 days ago
wuyangchen
authored
2
papers
2 months ago
mikeljl
authored
a
paper
2 months ago
wuyangchen
authored
a
paper
3 months ago
qiuqiu99
authored
3
papers
3 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
4 months ago
qiuqiu99
published
a
dataset
4 months ago
jsong2333333
authored
a
paper
10 months ago
maurice1671
authored
a
paper
11 months ago
wuyangchen
authored
5
papers
11 months ago
Lifelong Language Pretraining with Distribution-Specialized Experts
Paper
•
2305.12281
•
Published
•
1
Mixture-of-Experts Meets Instruction Tuning:A Winning Combination for Large Language Models
Paper
•
2305.14705
•
Published
Auto-scaling Vision Transformers without Training
Paper
•
2202.11921
•
Published
Principled Architecture-aware Scaling of Hyperparameters
Paper
•
2402.17440
•
Published
A Simple Single-Scale Vision Transformer for Object Localization and Instance Segmentation
Paper
•
2112.09747
•
Published
wuyangchen
published
a
dataset
11 months ago
wuyangchen
updated
a
dataset
11 months ago