AlphaGitHub
Source/Packages

Learning.ScaledGradientUpdate

packages/learning/src/Learning/ScaledGradientUpdate.alpha

111 lines5 declarations5.6 KiBSHA-256 983cc19e0d9e
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 39–50

scaledGradientSlotsIndependent

Full file
39def scaledGradientSlotsIndependent =
40  (lambda erased slots : Nat .
41    (lambda unrestricted parameter : (family StdFin slots) .
42      (lambda unrestricted accumulator : (family StdFin slots) .
43        (lambda unrestricted gradient : (family StdFin slots) .
44          (lambda unrestricted decay : (family StdFin slots) .
45            (lambda unrestricted rate : (family StdFin slots) .
46              (naturalAnd
47                (pointwiseSlotsSeparate slots parameter accumulator)
48                (naturalAnd
49                  (scaledGradientReadOnly slots parameter gradient decay rate)
50                  (scaledGradientReadOnly slots accumulator gradient decay rate)))))))))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.