DeepPoly Relaxation
Like Zonotope, DeepPoly is exact for affine and is its ReLU transformer produces a smaller area than the Zonotope ReLU transformer.
Shape:
ReLU transformer:
When computing bounds, backsubstitution is utilized for tighter bound:
Like Zonotope, DeepPoly is exact for affine and is its ReLU transformer produces a smaller area than the Zonotope ReLU transformer.
Shape:
ReLU transformer:
When computing bounds, backsubstitution is utilized for tighter bound: