Robby955formal-slt

Zero-sorry Lean 4 library of finite-sample statistical learning theory: PAC-Bayes (incl. a five-component test-time meta-bound), VC, Rademacher, sharp McDiarmid, and Dudley chaining. ICML 2026 AI4MATH
Sort by
  1. Git dependency.
    Found on Reservoir.

    doc-gen4v4.30.0-rc2

    Document Generator for Lean 4
  2. Git dependency.
    Found on Reservoir.

    mathlib25b7ac7

    The math library of Lean 4