pass@k

定義 4.4（「AI時代のITエンジニアの生存戦略」§4）

1 つの課題に対してモデルから $k$ 個の解を独立に標本抽出し、そのうち少なくとも 1 つが検証に合格する確率を pass@k と呼びます [5]。1 回あたりの合格確率を $q$ 、各標本が独立であるとすると

\mathrm{pass}@k = 1 - (1-q)^k

です（ $\mathrm{pass}@1 = q$ ）。

閉包の状態

定義

定義は閉包の起点です（証明を要しません）。

印の意味: ✓公理まで証明済み・ △証明あり（閉包未完）・ ※主張のみ。テーマごとの集計は閉包の状況。

証明で明示的に参照している定理は、まだありません。