Provable Preimage Under-Approximation for Neural Networks (Full Version)

Open in new window