boundlab.diff

Toolkits for differential verification.

Examples

>>> from boundlab.diff.zono3 import interpret
>>> callable(interpret)
True

Modules

zono3
op	Operators for differential verification.
net	Build a paired ONNX model for differential interpretation.