Skip to content

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

lmlexplore-automation[bot] merged 3 commits into
LeanMachineLearning:mainfrom
RemyDegenne:roadmap/adaptive-rates-and-l-star-bounds-worker2

refactor: reuse Real.sqrt_sq_mul and sInf_range in the L⋆ proofs

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