Add the LIPO and RankOpt global optimization algorithms - #216

Open

gaetanserre wants to merge 11 commits into

LeanMachineLearning:mainfrom

gaetanserre:decision_optimization

Commits on Aug 20, 2026

Add LIPO and RankOpt algorithms
gaetanserre
committed
17a3eb0
Implicit args
gaetanserre
committed
e36d4b5
Merge branch 'main' into decision_optimization
gaetanserre
committed
7471a48
Update `LeanMachineLearning.lean`
gaetanserre
committed
4b40e0a
Better syntax for decision kernel
gaetanserre
committed
5d0167a
Linter
gaetanserre
committed
3d72bb7
Add `Kernel.cond`
gaetanserre
committed
bfdfcdb
Update LeanMachineLearning.lean
gaetanserre
committed
1226941

Commits on Aug 24, 2026

Update LeanMachineLearning/Optimization/Algorithms/RankOpt.lean

gaetanserre
and
RemyDegenne
authored
7b4f1a9
Update LeanMachineLearning/Optimization/Algorithms/LIPO.lean

gaetanserre
and
RemyDegenne
authored
3d24b71
`measurableSet_potentialMax_prod`
gaetanserre
committed
bd1ae30