---- binary32 constants ----
Each constant is the binary32 nearest its exact value, computed from the
quantities that determine it (the shape, the learner's hyperparameters,
the realization's choices, pi and ln 2) by Float32Exact and the
functions below, and evaluated by the compiler (`compile-time`): a changed
hyperparameter changes the word with nothing else to edit.
825def cgExactAdamStepSize =
826 (lambda unrestricted step : Nat .
827 (momentCorrectedStepSizeWord
828 coppeliusLearningRateNumerator coppeliusLearningRateDenominator
829 coppeliusBeta1Numerator coppeliusBeta1Denominator
830 coppeliusBeta2Numerator coppeliusBeta2Denominator 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.