Skip to content

feat: AdaGrad on a box, its regret bound and coordinatewise scale-freeness - #417

Merged
lmlexplore-automation[bot] merged 1 commit into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/adagrad-worker4
Nov 15, 2026
Merged

lmlexplore-automation[bot] merged 1 commit into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/adagrad-worker4

Commits

  1. Commits on Nov 15, 2026