boundlab.prop

Bound Propagation for Concretizing Expressions

This module provides functions for computing concrete upper and lower bounds from symbolic expressions through backward-mode propagation.

Examples

>>> import torch
>>> import boundlab.expr as expr
>>> import boundlab.prop as prop
>>> x = expr.ConstVal(torch.tensor([1.0, -1.0])) + expr.LpEpsilon([2])
>>> ub = prop.ub(x)
>>> lb = prop.lb(x)
>>> ub.shape, lb.shape
(torch.Size([2]), torch.Size([2]))

Functions

ub	Compute an upper bound via backward bound propagation.
lb	Compute a lower bound via backward bound propagation.
ublb	Compute both upper and lower bounds for the given expression.