TY  - RPRT
TI  - Lean Finder: Semantic Search for Mathlib That Understands User Intents
AU  - Jialin Lu
AU  - Kye Emond
AU  - Kaiyu Yang
AU  - Swarat Chaudhuri
AU  - Weiran Sun
AU  - Wuyang Chen
PY  - 2026
UR  - https://arxiv.org/abs/2510.15940
ID  - 2510.15940
ER  -