OSIP: Tightened Bound Propagation for the Verification of ReLU Neural Networks.

Vahid Hashemi, Panagiotis Kouvaros, Alessio Lomuscio

Browse the full SEFM paper archive.