Documentation
LeanPool
.
PLAcceleratedNesterovLean
.
Convergence
Search
return to top
source
Imports
Init
LeanPool.PLAcceleratedNesterovLean.Convergence.Bootstrap
LeanPool.PLAcceleratedNesterovLean.Convergence.Coercivity
LeanPool.PLAcceleratedNesterovLean.Convergence.ConvergenceHelpers
LeanPool.PLAcceleratedNesterovLean.Convergence.CurvAbsorb
LeanPool.PLAcceleratedNesterovLean.Convergence.GenLocalArgument
LeanPool.PLAcceleratedNesterovLean.Convergence.LocalArgument
LeanPool.PLAcceleratedNesterovLean.Convergence.LocalGeometry
LeanPool.PLAcceleratedNesterovLean.Convergence.LyapunovContraction
LeanPool.PLAcceleratedNesterovLean.Convergence.MainTheoremInternal
LeanPool.PLAcceleratedNesterovLean.Convergence.MotionError
LeanPool.PLAcceleratedNesterovLean.Convergence.NesterovConvergence
LeanPool.PLAcceleratedNesterovLean.Convergence.PhaseSchedule
LeanPool.PLAcceleratedNesterovLean.Convergence.RateArithmetic
LeanPool.PLAcceleratedNesterovLean.Convergence.StateContraction
Imported by
Convergence proof for PL-accelerated Nesterov convergence
#