AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.ExactCrossEntropyBackwardSM86

packages/realizations/cooperative/nvidia-sm86/src/Realization/Nvidia/SM86/ExactCrossEntropyBackwardSM86.alpha

702 lines118 declarations31.2 KiBSHA-256 adcd1f5d6195
Download exact fileView at revisionf5034773ad4bb52133

def · lines 486–490

exactCrossEntropyBackwardProgramFor

Full file
486def exactCrossEntropyBackwardProgramFor =
487  (lambda unrestricted rows : Nat . (lambda unrestricted vocabulary : Nat .
488    (lambda erased admitted :
489      (equal Nat (exactCrossEntropyRowsShapeAdmitted rows vocabulary) 1) .
490      (exactCrossEntropyBackwardProgramForUnchecked vocabulary))))

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.