PulseAugur
中
实时 06:26:45
实体 v1.16.0

v1.16.0

PulseAugur coverage of v1.16.0 — every cluster mentioning v1.16.0 across labs, papers, and developer communities, ranked by signal.

Show in brief
总计 · 30天
1
90 天内 1
发布 · 30天
0
90 天内 0
论文 · 30天
1
90 天内 1
层级分布 · 90 天
主题
情绪 · 30 天

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. RESEARCH · CL_310788 ·

    Lean Finder V2 改进 Mathlib 搜索;Anthropic SDK 更新发布

    研究人员开发了 Lean Finder V2,这是一个用于 Mathlib 的高级语义搜索框架,通过对抗性训练和查询重写显著提高了查询消歧能力。新系统在 MathlibQR 基准测试上实现了 11% 的相对改进,并在与 Claude Code 等模型集成时提高了证明成功率。此外,Anthropic 发布了其 Python SDK 的 1.16.0 版本,更新了其 Admin API,并使 User Profiles 可供一般使用,同时…