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

ArXi:2503.19605v5 Announce Type: replace Understanding and certifying the generalization performance of machine learning algorithms -- i.e. obtaining theoretical estimates of the test error from the