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