boundlab.diff.zono3

Module Attributes

interpret

Differential-verification interpreter.

Functions

linearizer_to_hander	Register a differential lineariser for a non-linear activation.
relu_linearizer	Return a DiffZonoBounds for differential ReLU.
tanh_linearizer	Differential tanh linearizer using hexagon-Chebyshev β.
exp_linearizer	Differential exp linearizer using hexagon-Chebyshev β.
reciprocal_linearizer	Differential 1/x linearizer using hexagon-Chebyshev β.
diff_bilinear_elementwise
diff_bilinear_matmul
diff_softmax_handler	Differential softmax transformer.
diff_heaviside_pruning_handler	Differential handler for boundlab::heaviside_pruning.

Classes

DiffZonoBounds

DiffZonoBounds(x_bounds: 'ZonoBounds', y_bounds: 'ZonoBounds', diff_bounds: 'ZonoBounds', diff_x_error: 'LinearOp', diff_x_weights: 'list[torch.Tensor | 0] | 0', diff_y_error: 'LinearOp', diff_y_weights: 'list[torch.Tensor | 0] | 0')

Modules

expr