Theoretical Foundations

Mathematical details behind NNV’s verification algorithms, set representations, and guarantee frameworks.

---

Star Set Reachability

Star set definitions, exact and approximate reachability algorithms, and ReLU splitting strategies.

Star Set Reachability

ImageStar & VolumeStar

Extending Star sets to 2D images, 3D volumes, and video data for CNN and 3D-CNN verification.

ImageStar & VolumeStar

Probabilistic Verification

Conformal inference, surrogate models, and formal coverage-confidence guarantees.

Probabilistic Verification Theory

GNN Reachability

GraphStar sets, GCN and GINE reachability, subgraph verification, and soundness guarantees.

Graph Neural Network Reachability

Weight Perturbation (ModelStar)

Perturbation maps, exact and over-approximate reachability under parameter uncertainty from quantization and hardware faults.

Weight Perturbation Verification (ModelStar)

Fairness Verification

Counterfactual fairness, individual fairness, and the Verified Fairness score.

Fairness Verification (FairNNV)