Space: Srishti280992/repro-ai4slt-empirical-processes-in-lean-4-for-formal-statistical-learning-theory
title: Reproduction: AI4SLT: Empirical Processes in Lean 4 for Formal Statistical Learning Theory
sdk: static
tags: trackio, trackio-logbook, open-experiment, icml2026-repro, paper-dfqmQ9WhCP
Tags: static, trackio, trackio-logbook, open-experiment, icml2026-repro, paper-dfqmQ9WhCP, region:us