law relu_backward_edges

bendtorch-core@0.1.0.0 · src/tensor/relu_LAWS.bend:111

import Base
import bendtorch-core@0.1.0.0/src/tensor/elementwise.bend as Elementwise

111# The gradient words PyTorch 2.14.1 gives torch.relu at the edge words, for
112# g = 2.5 (0x40200000).
113law relu_backward_edges:
114  {scalar_at(Elementwise.ReluBackward{}, 1075838976, edges()) ==
115    [0, 0, 1075838976, 0, 1075838976, 0, 1075838976, 0, 1075838976, 0,
116      1075838976, 0, 1075838976, 0, 1075838976, 1075838976, 1075838976, 1075838976,
117      1075838976, 1075838976] : List<&2, U32>}