boundlab.zono.linearizers.LinearBounds

class boundlab.zono.linearizers.LinearBounds

Bases: object

A sound enclosure f(x) ∈ slope·x + bias ± error over the queried box.

Calling it applies the enclosure to an expression: x * slope + bias + Noise(error, name) — the affine part exact, the residual as fresh interval noise tagged with name.

Methods

__init__

name: str

slope: Tensor

bias: Tensor

error: Tensor

__call__(x)

Call self as a function.

__init__(name, slope, bias, error)