Jialin (Mike) Lu

mikeljl's activity

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

liked a model 2 months ago

delta-lab-ai/lean-finder

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

liked a Space 2 months ago

Running

3

Lean Refactor Arena

🌖

3

Leaderboard for multi-objective Lean 4 proof refactoring

liked a Space 9 months ago

Running

Agents

16

Lean Finder

👁

16

Code search for Lean 4