the half copy of layer l's matrix t (qkv 0, o 1, up 2, gate 3, down 4)
1986def cgLayerHalf =
1987 (lambda unrestricted l : Nat .
1988 (lambda unrestricted t : Nat .
1989 (cgHalf (naturalAdd cgFirstLayerMatrix (naturalAdd (naturalMultiply cgLayerMatrices l) t)))))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.