Source/Systems

Bob.Build.PhysicalComponents

systems/bob/src/Bob/Build/PhysicalComponents.alpha

470 lines80 declarations20.9 KiBSHA-256 d35b583e56d3

def · lines 287–291

bobPredictLaunches

Full file
Predicting one prompt gathers its logits row and takes the greedy argmax.
287def bobPredictLaunches =
288  (lambda unrestricted index : Nat .
289    (bobThen
290      (bobLaunch b"bob-row-gather" (bobKernel bobGatherPlace 1) (bobGatherBlock index))
291      (bobLaunch b"bob-greedy-argmax" (bobKernel bobArgmaxPlace 1) (bobArgmaxBlock index))))

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.