Skip to content

refactor: Track-and-Stop sample complexity bounds without an auxiliary rate - #189

Merged
lmlexplore-automation[bot] merged 2 commits into
LeanMachineLearning:mainfrom
RemyDegenne:refactor/track-and-stop-constant
Nov 6, 2026
Merged

lmlexplore-automation[bot] merged 2 commits into
LeanMachineLearning:mainfrom
RemyDegenne:refactor/track-and-stop-constant

refactor: make the inverse rate helper a public ENNReal lemma

fa3d2b3
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 6, 2026 in 4s