Jialin (Mike) Lu

mikeljl's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

liked a model about 1 month ago

delta-lab-ai/lean-finder-v2-preview

8B • Updated Sep 3 • 21 • 2

liked a model 4 months ago

delta-lab-ai/lean-finder

Feature Extraction • 8B • Updated Jun 4 • 1.09k • 2

liked a Space 4 months ago

Running

5

Lean Refactor Arena

🌖

5

Two-track multi-objective Lean 4 proof refactoring

liked a Space 12 months ago

Running

Agents

16

Lean Finder

👁

16

Code search for Lean 4