~/jendhub

def weight_product

bendtorch-core@0.1.0.0 · src/autograd/tensor_backward.bend:380

import bendtorch-core@0.1.0.0/src/autograd/tensor_backward.bend as TensorBackward
import Base
import bendtorch-core@0.1.0.0/src/tensor/core.bend as Core
import bendtorch-core@0.1.0.0/src/tensor/matmul.bend as Matrix

380# g^T @ x, g read in place. It has its own name so that the proofs of where
381# the contribution goes name it without restating the product; the value
382# laws read what it computes.
383def weight_product(copy: Core.Dynamic, flipped: Core.Dynamic) -> Result<&2, &1, Matrix.Error, Core.Dynamic & Core.Dynamic & Core.Dynamic>:
384  Matrix.matmul_tn(copy, flipped)

Uses (5)

Used by (2)