Documentation
LeanPool
.
PLAcceleratedNesterovLean
.
MorseBott
Search
return to top
source
Imports
Init
LeanPool.PLAcceleratedNesterovLean.MorseBott.Bridge
LeanPool.PLAcceleratedNesterovLean.MorseBott.BridgeDefs
LeanPool.PLAcceleratedNesterovLean.MorseBott.Defs
LeanPool.PLAcceleratedNesterovLean.MorseBott.GradAlign
LeanPool.PLAcceleratedNesterovLean.MorseBott.HessianPL
LeanPool.PLAcceleratedNesterovLean.MorseBott.IFTProof
LeanPool.PLAcceleratedNesterovLean.MorseBott.NormalHessianBound
LeanPool.PLAcceleratedNesterovLean.MorseBott.PLImpliesMB
LeanPool.PLAcceleratedNesterovLean.MorseBott.Submanifold
LeanPool.PLAcceleratedNesterovLean.MorseBott.TubularProjection
Imported by
Morse-Bott infrastructure for PL-accelerated Nesterov convergence
#