本文へ移動
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 による成績です。元の点数は尺度が異なるため単純加算せず、固定の基準尺度で比較します。

最終取得確認 未確認 · 最後の成功 未確認。リアルタイムの成績ではありません。観察用の目録です。自動取得にはまだ対応していません。

元の評価結果

この出典の公開可能な結果は、まだ掲載されていません。