feat: e-processes for an i.i.d. null grow at most at the bipolar rate in expectation [RR26, Lemma 3.3] - #413

feat: e-processes for an i.i.d. null grow at most at the bipolar rate in expectation [RR26, Lemma 3.3]#413

lmlexplore-automation[bot] merged 7 commits into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

RemyDegenne:evr/eprocess-growth-boundRemyDegenne/LMLExplore:evr/eprocess-growth-boundCopy head branch name to clipboard