---- 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.
824def cgExactAdamStepSize =
825 (lambda unrestricted step : Nat .
826 (momentCorrectedStepSizeWord
827 coppeliusLearningRateNumerator coppeliusLearningRateDenominator
828 coppeliusBeta1Numerator coppeliusBeta1Denominator
829 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.