Statistical Learning Theory in Lean 4 - a liminho123 Collection

liminho123 's Collections

Statistical Learning Theory in Lean 4

Statistical Learning Theory in Lean 4

updated Feb 7

Statistical Learning Theory in Lean 4: Empirical Processes from Scratch

Paper • 2602.02285 • Published Feb 2
liminho123/lean4-stat-learning-theory-novel

Viewer • Updated Feb 7 • 865 • 116
liminho123/lean4-stat-learning-theory-corpus

Viewer • Updated Feb 7 • 470 • 236 • 3
liminho123/lean4-stat-learning-theory-random

Viewer • Updated Feb 7 • 865 • 123