Lean Formalization of Generalization Error Bound by Rademacher Complexity

Open in new window