Skip to content

feat: the Bernoulli maximal inequality, counts versus pseudo-counts [DLB17, Lemma F.4] - #292

Merged
lmlexplore-automation[bot] merged 4 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/bernoulli-maximal-inequality-essakine2026tight-reinforcementlearning
Nov 13, 2026
Merged

lmlexplore-automation[bot] merged 4 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/bernoulli-maximal-inequality-essakine2026tight-reinforcementlearning

refactor: prove the Bernoulli integrability helper from integrable_ex…

e973ab3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view