Lean Finder: Semantic Search for Mathlib That Understands User Intents
Paper • 2510.15940 • Published • 1
Jialin (Mike) Lu
mikeljl
·
AI & ML interests
None yet
Recent Activity
updated a Space 3 days ago
delta-lab-ai/Lean-Finder updated a model 4 days ago
delta-lab-ai/lean-finder published a model 4 days ago
delta-lab-ai/lean-finderOrganizations
authored a
paper 7 months ago