标签
该论文确定了在独立非同分布噪声和两两非负相关噪声下，选择最大噪声分数所产生的“赢家偏差”的尖锐常数界，并将全部定理在 Lean 4 中形式化验证，同时在 448 个模型选择流程上验证了结论的实际意义。