feat: transport of means and variances under a KL constraint [MDJKLV21, Lemmas 10–12] - #291

feat: transport of means and variances under a KL constraint [MDJKLV21, Lemmas 10–12]#291

lmlexplore-automation[bot] merged 8 commits into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

RemyDegenne:roadmap/kl-bernstein-transport-essakine2026tight-reinforcementlearningRemyDegenne/LMLExplore:roadmap/kl-bernstein-transport-essakine2026tight-reinforcementlearningCopy head branch name to clipboard