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 25 days ago

Statistical Learning Theory in Lean 4: Empirical Processes from Scratch

Paper • 2602.02285 • Published 30 days ago
liminho123/lean4-stat-learning-theory-novel

Viewer • Updated 25 days ago • 865 • 156
liminho123/lean4-stat-learning-theory-corpus

Viewer • Updated 25 days ago • 470 • 132 • 1
liminho123/lean4-stat-learning-theory-random

Viewer • Updated 25 days ago • 865 • 104