boundlab.ops.deept#

CPU-friendly primitives used by the DeepT matrix-product bound.

Functions

deept_precise_estimate

Bound the quadratic error term in a zonotope matrix product.