Repository navigation

feat: adaptive learning rates, self-bounded functions and L⋆ bounds - #398

Merged

lmlexplore-automation[bot] merged 3 commits into

LeanMachineLearning:mainfrom

RemyDegenne:roadmap/adaptive-rates-and-l-star-bounds-worker2

Nov 15, 2026

Merged

feat: adaptive learning rates, self-bounded functions and L⋆ bounds#398
lmlexplore-automation[bot] merged 3 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/adaptive-rates-and-l-star-bounds-worker2

Commits on Nov 14, 2026
- feat: adaptive learning rates, self-bounded functions and L⋆ bounds
  
  RemyDegenne
  and
  web-flow
  committed
  3969fb8
Commits on Nov 15, 2026
- refactor: reuse the two-step lemma and split the rate arithmetic
  
  RemyDegenne
  and
  web-flow
  committed
  0041500
- refactor: reuse Real.sqrt_sq_mul and sInf_range in the L⋆ proofs
  
  RemyDegenne
  and
  web-flow
  committed
  1907755