Lean Formalization of Generalization Error Bound by Rademacher Complexity and Dudley's Entropy Integral 文章

ArXiv CS.CL2026-05-26NEWSen作者: Sho Sonoda, Kazumi Kasaura, Yuma Mizuno, Kei Tsukamoto, Naoto Onda
查看原文 →
关系图谱

Lean Formalization of Generalization Error Bound by Rademacher Complexity and Dudley's Entropy Integral · 相关技术

相关技术

McDiarmid inequalitybounded-differences analysissymmetrization argumentVC-dimension theoryRademacher complexity