Enhancing Branch and Bound for Robustness Verification of Neural Networks via an Effective Branching Strategy.

Shaocong Han, Yi Zhang

Browse the full SETTA paper archive.