The first comprehensive Lean 4 formalization of statistical learning theory, featuring Gaussian Lipschitz concentration and Dudley's entropy integral-establishes a reusable foundation for formalizing ML theory.
formalization formal-mathematics machine-learning-theory learning-theory lean4 high-dimensional-statistics autoformalization statistical-learning-theory
-
Updated
Feb 5, 2026 - Lean