src/tensor/relu_PROOF.bend

bendtorch-core@0.1.0.0 · 37 lines · 0 definitions

1import Base
2import bendtorch-core@0.1.0.0/src/tensor/elementwise.bend as Elementwise
3import bendtorch-core@0.1.0.0/src/tensor/relu_LAWS.bend as Laws
4
5def Laws.below_zero_words(x):
6  {==}
7
8def Laws.at_most_zero_words(x):
9  {==}
10
11def Laws.below_zero_edges():
12  {==}
13
14def Laws.at_most_zero_edges():
15  {==}
16
17def Laws.scalar_relu_left_below(left, right, below):
18  %Equal.sym(Bool, Elementwise.below_zero(left), True{}, below) : {Elementwise.zero_if(_, left) == 0.0 : F32}
19  {==}
20
21def Laws.scalar_relu_left_kept(left, right, kept):
22  %Equal.sym(Bool, Elementwise.below_zero(left), False{}, kept) : {Elementwise.zero_if(_, left) == left : F32}
23  {==}
24
25def Laws.scalar_relu_backward_zeroed(left, right, zeroed):
26  %Equal.sym(Bool, Elementwise.at_most_zero(left), True{}, zeroed) : {Elementwise.zero_if(_, right) == 0.0 : F32}
27  {==}
28
29def Laws.scalar_relu_backward_passed(left, right, passed):
30  %Equal.sym(Bool, Elementwise.at_most_zero(left), False{}, passed) : {Elementwise.zero_if(_, right) == right : F32}
31  {==}
32
33def Laws.relu_edges():
34  {==}
35
36def Laws.relu_backward_edges():
37  {==}