src/autograd/PROOF.bend

bendtorch-core@0.1.0.0 · 15 lines · 0 definitions

1import bendtorch-core@0.1.0.0/src/autograd/LAWS.bend as Laws
2import bendtorch-core@0.1.0.0/src/autograd/broadcast_PROOF.bend as Broadcast
3import bendtorch-core@0.1.0.0/src/autograd/broadcast_pointwise_PROOF.bend as BroadcastPointwise
4import bendtorch-core@0.1.0.0/src/autograd/reduce_PROOF.bend as Reduce
5import bendtorch-core@0.1.0.0/src/autograd/reduce_fold_PROOF.bend as ReduceFold
6import bendtorch-core@0.1.0.0/src/autograd/reduce_to_fold_PROOF.bend as ReduceTo
7import bendtorch-core@0.1.0.0/src/autograd/sum_to_size_PROOF.bend as SumToSize
8import bendtorch-core@0.1.0.0/src/autograd/sum_to_size_fold_PROOF.bend as SumToSizeFold
9import bendtorch-core@0.1.0.0/src/autograd/sum_dims_PROOF.bend as SumDims
10import bendtorch-core@0.1.0.0/src/autograd/gradient_PROOF.bend as Gradient
11import bendtorch-core@0.1.0.0/src/autograd/backward_PROOF.bend as Backward
12import bendtorch-core@0.1.0.0/src/autograd/tensor_backward_PROOF.bend as TensorBackward
13import bendtorch-core@0.1.0.0/src/autograd/tensor_vjp_PROOF.bend as TensorVjp
14import bendtorch-core@0.1.0.0/src/autograd/tensor_chain_PROOF.bend as TensorChain
15import bendtorch-core@0.1.0.0/src/autograd/sgd_PROOF.bend as Sgd