Jialin (Mike) Lu

mikeljl's activity

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

updated a Space 10 days ago

Running

12

Lean Finder

👁

12

Code search for Lean 4

liked a Space 2 months ago

Running

12

Lean Finder

👁

12

Code search for Lean 4

authored a paper 2 months ago

Lean Finder: Semantic Search for Mathlib That Understands User Intents

Paper • 2510.15940 • Published Oct 8 • 1

updated 2 Spaces 2 months ago

Running

12

Lean Finder

👁

12

Code search for Lean 4

Running

12

Lean Finder

👁

12

Code search for Lean 4