AdamW's hyperparameters, exact (numerator, denominator): the plan's
per-step scalars (Coppelius.Build.Graph) are computed from them and
rounded to binary32 once
38def coppeliusLearningRateNumerator : Nat = 1The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.