Gradient descent optimization curves: consecutive convexity violations, convex and strongly convex optimization, PEPit performance estimation, exact certificates, counterexamples and selected Lean 4 proofs. | انكسارات التحدّب المتتالية في منحنيات التحسين للانحدار التدريجي
python reproducible-research gradient-descent semidefinite-programming formal-verification convex-optimization performance-estimation mathlib mathematical-optimization convexity lean4 counterexamples exact-arithmetic strong-convexity optimization-curves pepit
-
Updated
Oct 22, 2026 - Python