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 27–37

scaledGradientReadOnly

Full file
27def scaledGradientReadOnly =
28  (lambda erased slots : Nat .
29    (lambda unrestricted writable : (family StdFin slots) .
30      (lambda unrestricted gradient : (family StdFin slots) .
31        (lambda unrestricted decay : (family StdFin slots) .
32          (lambda unrestricted rate : (family StdFin slots) .
33            (naturalAnd
34              (pointwiseSlotsSeparate slots writable gradient)
35              (naturalAnd
36                (pointwiseSlotsSeparate slots writable decay)
37                (pointwiseSlotsSeparate slots writable 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.