API Reference

This section contains the generated API reference for BoundLab, one entry per module.

boundlab	BoundLab's core expression algebra.
boundlab.utils	Shared utilities: shape metadata, einsum plumbing, polynomials, formatting.
boundlab.error	Named error symbols and their provenance.
boundlab.interp	Operator-dispatch abstract interpreter for ONNX graphs.
boundlab.ibp	The interval domain: centers (Bias) plus halfwidths (Noise).
boundlab.zono	The zonotope domain: affine forms over shared error symbols.
boundlab.polysp	The sparse polynomial domain: monomials over error symbols.
boundlab.zonoq	The quadratic zonotope domain: correlated linear plus quadratic terms.
boundlab.ops	Numeric kernels shared by the abstract domains.
boundlab.diff	Differential verification: bounding f₁(x) − f₂(x) for two networks.