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