Skip to content

feat: the self-bounding inequality [MDJKLV21, Lemma 13] with the corrected constant - #287

Open
RemyDegenne wants to merge 2 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/self-bounding-inequality-essakine2026tight-reinforcementlearning
Open

feat: the self-bounding inequality [MDJKLV21, Lemma 13] with the corrected constant#287
RemyDegenne wants to merge 2 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/self-bounding-inequality-essakine2026tight-reinforcementlearning

fix: address review of the self-bounding inequality

f7f8e84
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