AIFIND / MODEL INTELLIGENCE
M
調査中MathArena · BrokenArXiv
MathArena · BrokenArXiv · MathArena / ETH Zurich
数学的証明の誤りを発見・修正。
何を測るか
試験と版ごとの実測値のみを候補にします。
ランキングでの扱い
出典を調査中です。自動収集・ランキングへの加点はまだ行いません。
比較の限界
異なる問題群の横断推定を集計せず、データ再利用条件を確認中です。
出典・利用条件
コードは MIT。データには CC BY-NC-SA 4.0 の範囲があり、問題集と評価結果を区別します。
MathArena / ETH Zurich による成績です。元の点数は尺度が異なるため単純加算せず、固定の基準尺度で比較します。
最終取得確認 未確認 · 最後の成功 未確認。リアルタイムの成績ではありません。観察用の目録です。自動取得にはまだ対応していません。
元の評価結果
この出典の公開可能な結果は、まだ掲載されていません。