Repository navigation

feat: online subgradient descent on unbounded sets and on strongly convex losses - #381

Merged

lmlexplore-automation[bot] merged 3 commits into

LeanMachineLearning:mainfrom

RemyDegenne:roadmap/osd-strongly-convex-worker1

Nov 14, 2026

Merged

feat: online subgradient descent on unbounded sets and on strongly convex losses#381
lmlexplore-automation[bot] merged 3 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/osd-strongly-convex-worker1

Commits on Nov 14, 2026
- feat: online subgradient descent on unbounded sets and on strongly convex losses
  
  RemyDegenne
  and
  web-flow
  committed
  279e1f9
- refactor: factor the subgradient descent stability bound and the squared-loss facts
  
  RemyDegenne
  and
  web-flow
  committed
  d273b47
- refactor: move the squared-loss lemmas next to the Euclidean potential
  
  RemyDegenne
  and
  web-flow
  committed
  6e2f873