Skip to content

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

Open
RemyDegenne wants to merge 1 commit into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/bernoulli-maximal-inequality-essakine2026tight-reinforcementlearning
Open

RemyDegenne wants to merge 1 commit into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/bernoulli-maximal-inequality-essakine2026tight-reinforcementlearning

feat: the Bernoulli maximal inequality, counts versus pseudo-counts […

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

Annotations

1 warning and 1 notice
app-credentials
succeeded Nov 12, 2026 in 3s