FormalSLT is a compact Lean 4 library for the finite-sample statistical learning theory route from empirical risk minimization to VC-style generalization bounds, with recent extensions for contraction ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results