Documentation
LeanPool
.
PLAcceleratedNesterovLean
.
Core
Search
return to top
source
Imports
Init
LeanPool.PLAcceleratedNesterovLean.Core.Defs
LeanPool.PLAcceleratedNesterovLean.Core.EmbeddedManifold
LeanPool.PLAcceleratedNesterovLean.Core.NesterovScheme
LeanPool.PLAcceleratedNesterovLean.Core.NesterovSeqGen
Imported by
Core definitions for PL-accelerated Nesterov convergence
#