Skip to content

feat: the telescoping of the mix losses of exponential weights, stated once - #376

Merged
lmlexplore-automation[bot] merged 3 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/anytime-exponential-weights-worker1
Nov 14, 2026
Merged

lmlexplore-automation[bot] merged 3 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/anytime-exponential-weights-worker1

refactor: state the mix loss inequalities as iff lemmas, used by AdaH…

43b6899
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 14, 2026 in 3s