BaB-prob: Branch and Bound with Preactivation Splitting for Probabilistic Verification of Neural Networks

Fangji Wang, Panagiotis Tsiotras

Branch-and-bound with preactivation splitting has been shown highly effective for deterministic verification of neural networks. In this paper, we extend this framework to the prob…