Examples

These examples are organized from simple symbolic construction to full-model interpretation.

• Example: Manual Bounds on an Affine + ReLU Graph
• Example: Verify an MLP with zono.interpret
• Example: Transformer-Style Attention Block
• Example: Differential Verification of Two Networks

Choosing an Example

• Start with Example: Manual Bounds on an Affine + ReLU Graph to learn the expression and bound APIs.

• Continue with Example: Verify an MLP with zono.interpret to verify a whole model in one call.

• Example: Transformer-Style Attention Block covers transformer-style operations (matmul, softmax) and compares the zonotope and sparse polynomial domains.

• Example: Differential Verification of Two Networks certifies bounds on the difference between two networks.