评测来源官方评测
MathArena · ArXivLean
MathArena / ETH Zurich / 推理 · 用 Lean 验证数学证明
在 MyHOT 中观察中
证据预算不计分
上游数据时间待核实
最近成功同步尚未开始采集
它测什么，怎么测
按单独试卷和版本读取原始成绩，不使用跨题库拟合的 Expected performance 综合分。
如何使用这份证据
观察中：榜单成绩再展示边界尚未明确，暂不采集进正式分。
评测局限与数据署名
观察中：榜单成绩再展示边界尚未明确，暂不采集进正式分。
数据许可：代码 MIT；数据含 CC BY-NC-SA 4.0 边界，需区分题库与榜单成绩。
成绩由 MathArena / ETH Zurich 发布，原始分数与 MyHOT 共识分使用不同尺度，不能直接相加。