feat: large deviations of the empirical means of a run under static allocations, and the error exponent of static proportions - #383

feat: large deviations of the empirical means of a run under static allocations, and the error exponent of static proportions#383

lmlexplore-automation[bot] merged 7 commits into

LeanMachineLearning:mainLeanMachineLearning/LMLExplore:mainfrom

RemyDegenne:roadmap/static-proportions-error-exponent-worker1RemyDegenne/LMLExplore:roadmap/static-proportions-error-exponent-worker1Copy head branch name to clipboard