Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes

Devs

Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes | Read Paper on Bytez