Skip to content

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

lmlexplore-automation[bot] merged 3 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/osd-strongly-convex-worker1

refactor: move the squared-loss lemmas next to the Euclidean potential

6e2f873
Select commit
Loading
Failed to load commit list.
Sign in for the full log view