boundlab.diff.zonosq3#

Functions

`linearizer_to_hander`
`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_softmax_pruning_handler`	Differential transformer for `boundlab::SoftmaxPruning`.

Classes

`DiffZonosqBounds`	DiffZonosqBounds(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')
`DiffZonoBounds`

Modules