实体
Lean Finder V2
Lean Finder V2
PulseAugur coverage of Lean Finder V2 — every cluster mentioning Lean Finder V2 across labs, papers, and developer communities, ranked by signal.
总计 · 30天
2
90 天内 2
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天
2 天有情绪数据
最近 · 第 1/1 页 · 共 2 条
-
Lean Finder V2 增强了 Mathlib 的语义搜索
Lean Finder V2 是一款新的语义搜索工具，旨在改进 Mathlib 数学库的查询消歧。它具有“Arena 模式”，用户可以在其中将 Lean Finder 与其他模型进行并排比较，并投票选出表现更好的模型，以帮助改进其功能。该工具用于研究目的，可在 Hugging Face 上获取。
-
Lean Finder V2 改进 Mathlib 搜索；Anthropic SDK 更新发布
研究人员开发了 Lean Finder V2，这是一个用于 Mathlib 的高级语义搜索框架，通过对抗性训练和查询重写显著提高了查询消歧能力。新系统在 MathlibQR 基准测试上实现了 11% 的相对改进，并在与 Claude Code 等模型集成时提高了证明成功率。此外，Anthropic 发布了其 Python SDK 的 1.16.0 版本，更新了其 Admin API，并使 User Profiles 可供一般使用，同时…