Provable Preimage Under-Approximation for Neural Networks.

Xiyue Zhang, Benjie Wang, Marta Kwiatkowska

Browse the full TACAS paper archive.