TY  - RPRT
TI  - Lean Formalization of Generalization Error Bound by Rademacher Complexity and Dudley's Entropy Integral
AU  - Sho Sonoda
AU  - Kazumi Kasaura
AU  - Yuma Mizuno
AU  - Kei Tsukamoto
AU  - Naoto Onda
PY  - 2026
UR  - https://arxiv.org/abs/2503.19605
ID  - 2503.19605
ER  -