AI4SLT: Empirical Processes in Lean 4 for Formal Statistical Learning Theory
DGX agentarXiv:2602.02285v2 Announce Type: replace-cross Abstract: We present the first comprehensive Lean 4 formalization of statistical learning theory (SLT) grounded in empirical process theory. Our en-to-e