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

Devs

Neural Network Verification with Branch-and-Bound for General Nonlinearities | Read Paper on Bytez