AlphaGitHub
Source/Packages

Learning.ScaledProductUpdate

packages/learning/src/Learning/ScaledProductUpdate.alpha

66 lines3 declarations3.3 KiBSHA-256 bd32823ac4f3
Download exact fileView at revisionbcc11a4e7647d31628

def · lines 11–19

accumulateScaledProduct

Full file
A local correlation update (often called a Hebbian update). The arithmetic order is explicit: form the observation product, scale it, then add to state. No derivative, objective, optimizer state or target realization is required.
11def accumulateScaledProduct =
12  (lambda erased scalar : Type 0 .
13    (lambda unrestricted add : (pi unrestricted left : scalar . (pi unrestricted right : scalar . scalar)) .
14      (lambda unrestricted multiply : (pi unrestricted left : scalar . (pi unrestricted right : scalar . scalar)) .
15        (lambda unrestricted coefficient : scalar .
16          (lambda unrestricted previous : scalar .
17            (lambda unrestricted left : scalar .
18              (lambda unrestricted right : scalar .
19                (add previous (multiply coefficient (multiply left right))))))))))

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.