AlphaGitHub
Source/Packages

Learning.Checked.MomentCorrection

packages/learning/src/Learning/Checked/MomentCorrection.alpha

72 lines5 declarations3.1 KiBSHA-256 61091b557e77
Download exact fileView at revisionf5034773ad4bb52133

def · lines 50–63

momentCorrectedStepSizeWord

Full file
50def momentCorrectedStepSizeWord =
51  (lambda unrestricted rateNumerator : Nat .
52    (lambda unrestricted rateDenominator : Nat .
53      (lambda unrestricted beta1Numerator : Nat .
54        (lambda unrestricted beta1Denominator : Nat .
55          (lambda unrestricted beta2Numerator : Nat .
56            (lambda unrestricted beta2Denominator : Nat .
57              (lambda unrestricted step : Nat .
58                (momentScaledRootWord
59                  (naturalMultiply rateNumerator
60                    (momentNaturalPower beta1Denominator step))
61                  (naturalMultiply rateDenominator
62                    (momentPowerGap beta1Numerator beta1Denominator step))
63                  beta2Numerator beta2Denominator step))))))))

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.