評価のソース公式の評価
MathArena · ArXivLean
MathArena / ETH Zurich / 推論 · Lean で数学の証明を検証する
Karu News での扱い観察中
証拠の予算点数に使いません
元データの時刻不明
直近の同期まだ集めていません
何を、どう測るか
試験ごと、バージョンごとに元の成績を読み取り、問題集をまたいで当てはめた Expected performance の総合スコアは使いません。
この証拠の使い方
観察中：ランキング成績の再表示の範囲がまだ明確でないため、正式なスコアへの収集は見送っています。
評価の限界と、データの帰属
観察中：ランキング成績の再表示の範囲がまだ明確でないため、正式なスコアへの収集は見送っています。
データのライセンス：コードは MIT で、データには CC BY-NC-SA 4.0 の制約が含まれます。問題集とランキング成績は区別する必要があります。
成績は MathArena / ETH Zurich が公表したものです。元のスコアと Karu News の総合スコアは尺度が異なるため、足し合わせられません。