arXiv · Machine Learning· Jialin Lu, Xiaoyu Liu, Hengrui Luo, Rodrigo Stehling, Linxi Liu, Weiran Sun, Yuepeng Wang, Wuyang Chen·· 4 天前AI 评分49
Lean Finder V2：为 Mathlib 消歧用户查询的语义搜索
Lean Finder V2: Semantic Search for Mathlib That Disambiguates User Queries
AI 导读
Lean Finder V2 面向 Mathlib 语义搜索，通过模型级对抗训练与输入级查询重写消歧短查询，在 MathlibQR benchmark 上较此前最佳语义搜索引擎相对提升至少 11%。在未标注的人类及 coding-agent 查询中，Lean Finder V2 被评为最强系统；与 Claude Code 集成后，还提升了下游定理证明任务的成功率。
来源：arXiv · Machine Learning · arxiv.org