Before revision:  Our results show that PRIMA is significantly more precise than the state-of-the-art, verifying robustness for up to 16 \%, 30\%, and 34\% more images than prior work on ReLU-, Sigmoid-, and Tanh-based networks, respectively  .
After revision:  Our results show that PRIMA is significantly more precise than state-of-the-art, verifying robustness for up to 16 \%, 30\%, and 34\% more images than prior work on ReLU-, Sigmoid-, and Tanh-based networks, respectively .