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

RemyDegenne wants to merge 1 commit into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

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