TY  - RPRT
TI  - Lean Finder V2: Semantic Search for Mathlib That Disambiguates User Queries
AU  - Jialin Lu
AU  - Xiaoyu Liu
AU  - Hengrui Luo
AU  - Rodrigo Stehling
AU  - Linxi Liu
AU  - Weiran Sun
AU  - Yuepeng Wang
AU  - Wuyang Chen
PY  - 2026
UR  - https://arxiv.org/abs/2610.30843
ID  - 2610.30843
ER  -