Efficient Preimage Approximation for Neural Network Certification

Open in new window