Untitled

mail@pastecode.io avatar
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)),
    ),
)