Skip to content

feat: the FTRL equality on arbitrary types, be-the-leader and the regret of follow-the-leader - #284

Merged
lmlexplore-automation[bot] merged 3 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/regret-eq-ftrl-worker1
Nov 12, 2026
Merged

feat: the FTRL equality on arbitrary types, be-the-leader and the regret of follow-the-leader#284
lmlexplore-automation[bot] merged 3 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/regret-eq-ftrl-worker1

docs: correct the implementation notes of FTRL/Basic after the split

0d50ce1
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