Untitled
unknown
python
a year ago
346 B
5
Indexable
Never
from dnnv.properties import * import numpy as np N = Network("N") x = np.array([[[26455.0], [74284.0], [65633.0], [72652.0], [66765.0]]], dtype=np.float32) epsilon = Parameter("epsilon", float, default=2.0) Forall( x_, Implies( ((x - epsilon) < x_ < (x + epsilon)), ((N(x) - epsilon) < N(x_) < (N(x) + epsilon)), ), )