formal-slt
Zero-sorry Lean 4 library: finite-sample SLT bounds, sharp McDiarmid, PAC-Bayes Bernstein margin shell, and Dudley chaining. Standard Lean/Mathlib axioms only.
1-2 of 2 versions of formal-slt
Sort by
Date
108a139v4.30.0-rc24da0a3bv0.1.0v4.30.0-rc2