PulseAugur
中
实时 11:21:13
实体 USAMO 2025

USAMO 2025

PulseAugur coverage of USAMO 2025 — every cluster mentioning USAMO 2025 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. TOOL · CL_326855 ·

    大型语言模型在数学证明评判方面展现出潜力,新框架超越现有最佳水平

    研究人员探索了大型语言模型(LLMs)评判数学证明的能力,这项任务目前依赖于人类专家。一项新研究介绍了一个包含美国数学奥林匹克竞赛(USAMO)2025年候选解题方案及专家评分的数据集,并评估了各种大型语言模型在证明验证方面的表现。提出的基于多臂老虎机(Multi-Armed Bandit)方法的MABGrader框架,相比现有方法有了显著改进,在Quadratic Weighted Kappa指标上超越了现有最佳水平的ProofGr…