Jialin (Mike) Lu's picture

1

Jialin (Mike) Lu

mikeljl

·

https://mikeljl.github.io/

AI & ML interests

None yet

Recent Activity

updated a Space 12 days ago

delta-lab-ai/Lean-Finder

updated a Space about 1 month ago

delta-lab-ai/Lean-Finder

liked a Space 2 months ago

delta-lab-ai/Lean-Finder

View all activity

Organizations

authored a paper 2 months ago

Lean Finder: Semantic Search for Mathlib That Understands User Intents

Paper • 2510.15940 • Published Oct 8 • 1