boundlab.interp#
Abstract Interpretation Framework for Neural Network Verification.
Examples
Interpret an ONNX model:
>>> import torch
>>> import onnx_ir as ir
>>> import boundlab.expr as expr
>>> from boundlab.interp import Interpreter
>>> itp = Interpreter({"placeholder": lambda x, name: x, "Relu": lambda x: x})
Classes