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

Sho Sonoda, Kazumi Kasaura, Yuma Mizuno, Kei Tsukamoto, Naoto Onda

Browse the full ITP paper archive.