feat: leave-one-out evaluation of the separated plug-in policy [LWCGC24, Lemma 5] - #392

feat: leave-one-out evaluation of the separated plug-in policy [LWCGC24, Lemma 5]#392

lmlexplore-automation[bot] merged 5 commits into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

RemyDegenne:roadmap/lwcgc24-lemma-5-worker2RemyDegenne/LMLExplore:roadmap/lwcgc24-lemma-5-worker2Copy head branch name to clipboard