Repository navigation

feat: FTRL with composite losses, proximal steps and soft thresholding - #373

Merged

lmlexplore-automation[bot] merged 2 commits into

LeanMachineLearning:mainfrom

RemyDegenne:roadmap/composite-losses-worker1

Nov 14, 2026

Merged

feat: FTRL with composite losses, proximal steps and soft thresholding#373
lmlexplore-automation[bot] merged 2 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/composite-losses-worker1

Commits on Nov 14, 2026
- feat: FTRL with composite losses, proximal steps and soft thresholding
  
  committed
  fd0c63c
- feat: simp lemmas for soft thresholding and its value at zero
  
  RemyDegenne
  and
  web-flow
  committed
  f99057b