Neural Network Verification with Branch-and-Bound for General Nonlinearities.

Zhouxing Shi, Qirui Jin, Zico Kolter, Suman Jana, Cho-Jui Hsieh, Huan Zhang

Browse the full TACAS paper archive.