Bound Tightening using Rolling-Horizon Decomposition for Neural Network Verification

Haoruo Zhao, Hassan Hijazi, Haydn Jones +3

Neural network verification aims at providing formal guarantees on the output of trained neural networks, to ensure their robustness against adversarial examples and enable their d…