the update: its shared part, its AdamW (the half copies with it), its
loss copy
2890def cgUpdateSubmissions : (family NvidiaSubmissionSchedule) =
2891 (cgSubmissionFor
2892 coppeliusUpdatePieces
2893 (lambda unrestricted k : Nat .
2894 (cgSubmission
2895 (naturalAdd 4 (naturalAdd (naturalMultiply 2 cgLastChunk) k))
2896 (cgPush
2897 (cgPush
2898 (cgRange cgUpdateStart cgUpdateLaunches)
2899 (naturalAdd cgAdamStart (naturalMultiply k cgAdamLaunches))
2900 cgAdamLaunches)
2901 (naturalAdd cgLossRecordStart k)
2902 1))))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.