Space: Eishaan/repro-ai4slt-empirical-processes-lean-4
title: Repro - 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