Jialin (Mike) Lu
mikeljl
·
AI & ML interests
None yet
Recent Activity
updated
a Space
18 days ago
delta-lab-ai/Lean-Finder
liked
a Space
about 1 month ago
delta-lab-ai/Lean-Finder
authored
a paper
about 1 month ago
Lean Finder: Semantic Search for Mathlib That Understands User Intents
Organizations
