the word the plan bakes there for update k: step k + 1's step size and
epsilon (Bob.Learner.bobAdamStepScalars, its seventh and eighth scalars)
699def bobAdamWBaked =
700 (lambda unrestricted k : Nat .
701 (nvidiaPlanHostLittleNatural
702 8
703 (dataBytesDropValidated (naturalMultiply 4 6) (bobAdamStepScalars (succ k)))))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.