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