Skip to content

feat: optimistic FTRL, and the stability of minimizers under linear perturbations - #375

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

lmlexplore-automation[bot] merged 3 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/optimistic-ftrl-worker1

refactor: use apply_le_opNorm_mul_norm at the remaining inline copies

c85deda
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