AlphaGitHub
Source/Packages

Realization.Nvidia.SM86.ExactCrossEntropySM86

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

1,471 lines228 declarations53.2 KiBSHA-256 411308c1414a
Download exact fileView at revisionf5034773ad4bb52133

def · lines 566–579

exactCrossEntropyRowsSumTilesFor

Full file
566def exactCrossEntropyRowsSumTilesFor =
567  (lambda unrestricted tiles : Nat .
568    (nat-eliminate
569      (lambda unrestricted current : Nat . (family SM86Program))
570      exactCrossEntropySM86End
571      (lambda unrestricted predecessor : Nat .
572        (lambda unrestricted induction : (family SM86Program) .
573          (sm86ProgramAppend
574            (exactCrossEntropyRowsSumTile
575              (exactCrossEntropyRowsTileOffsetFor
576                (naturalSaturatingSubtract
577                  (naturalSaturatingSubtract tiles 1) predecessor)))
578            induction)))
579      tiles))

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.