Repository navigation

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

refactor: Track-and-Stop sample complexity bounds without an auxiliary rate#189
lmlexplore-automation[bot] merged 2 commits into
LeanMachineLearning:mainfrom
RemyDegenne:refactor/track-and-stop-constant

Commits on Nov 5, 2026
- refactor: Track-and-Stop sample complexity bounds without an auxiliary rate
  
  RemyDegenne
  and
  claude
  committed
  813c67e
Commits on Nov 6, 2026
- refactor: make the inverse rate helper a public ENNReal lemma
  
  RemyDegenne
  and
  web-flow
  committed
  fa3d2b3