LEVIS: Large Exact Verifiable Input Spaces for Neural Networks.

Mohamad Fares El Hajj Chehade, Wenting Li, Brian Wesley Bell, Russell Bent, Saif R. Kazi, Hao Zhu

Browse the full ICML paper archive.