[ICML2026] The first comprehensive Lean 4 formalization of statistical learning theory, featuring Gaussian Lipschitz concentration and Dudley's entropy integral-establishes a reusable foundation for formalizing ML theory.

[ICML 2026] Official PyTorch implementation of From Observations to States: Latent Time Series Forecasting

[ICML 2026] Smaller Models are Natural Explorers for Policy-Level Diversity in GRPO

CaDRe: Learning General Causal Structures with Hidden Dynamic Process for Climate Analysis (ICML 2026)

(ICML 2026) ALSO: Adversarial Online Strategy Optimization for Social Agents — first online, adversarial-bandit framework for strategy optimization in non-stationary multi-agent social simulation.