boundlab.diff.zono3.exp_linearizer

boundlab.diff.zono3.exp_linearizer(xs, ys, ds)

Differential exp linearizer using hexagon-Chebyshev β.

Examples

>>> import torch
>>> import boundlab.expr as expr
>>> from boundlab.diff.zono3.default.exp import exp_linearizer
>>> x = expr.ConstVal(torch.tensor([1.0])) + 0.2 * expr.LpEpsilon([1])
>>> y = expr.ConstVal(torch.tensor([0.5])) + 0.2 * expr.LpEpsilon([1])
>>> d = x - y
>>> dzb = exp_linearizer([x], [y], [d])
>>> dzb.diff_bounds.bias.shape
torch.Size([1])