law reverse_eq_forward

bend-ml-autograd@0.1.1.0 · main.bend:110

import Base

110# LAW (reverse_eq_forward): for any expression made of constants, X, sums
111# and products, the reverse-mode gradient (starting with gradient 1 at the output)
112# equals the forward-mode derivative. It holds for every x.
113law reverse_eq_forward:
114  for +e: NE
115  for +x: Nat
116  {nbwd(e, x, 1n) == nfwd(e, x) : Nat}