@misc{indiciae0de6b02f3a45,
  title = {Lean Finder V2: Semantic Search for Mathlib That Disambiguates User Queries},
  author = {Jialin Lu and Xiaoyu Liu and Hengrui Luo and Rodrigo Stehling and Linxi Liu and Weiran Sun and Yuepeng Wang and Wuyang Chen},
  year = {2026},
  url = {https://arxiv.org/abs/2610.30843},
  note = {Source identifier: 2610.30843}
}