PulseAugur
中
实时 05:35:02
实体 Arena mode

Arena mode

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

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

1 天有情绪数据

最近 · 第 1/1 页 · 共 1 条
  1. TOOL · CL_320334 ·

    Lean Finder V2 增强了 Mathlib 的语义搜索

    Lean Finder V2 是一款新的语义搜索工具，旨在改进 Mathlib 数学库的查询消歧。它具有“Arena 模式”，用户可以在其中将 Lean Finder 与其他模型进行并排比较，并投票选出表现更好的模型，以帮助改进其功能。该工具用于研究目的，可在 Hugging Face 上获取。