Skip to content

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

lmlexplore-automation[bot] merged 2 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/composite-losses-worker1

feat: simp lemmas for soft thresholding and its value at zero

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