件の評価ソース公式評価
MathArena · ArXivLean
このページの内容は中国語です。
MathArena / ETH Zurich / 推理 · 用 Lean 验证数学证明
AIDC热点 内観察中
根拠の予算スコア対象外
上流データ時刻確認中
直近の同期成功収集未開始
何をどう測るか
按单独试卷和版本读取原始成绩，不使用跨题库拟合的 Expected performance 综合分。
この根拠の使い方
观察中：榜单成绩再展示边界尚未明确，暂不采集进正式分。
評価の制約とデータの帰属
观察中：榜单成绩再展示边界尚未明确，暂不采集进正式分。
データライセンス：代码 MIT；数据含 CC BY-NC-SA 4.0 边界，需区分题库与榜单成绩。
成绩由 MathArena / ETH Zurich 发布，原始分数与 AIDC热点 共识分使用不同尺度，不能直接相加。