Precise Multi-Neuron Abstractions for Neural Network Certification

Open in new window