PROVEN: Verifying Robustness of Neural Networks with a Probabilistic Approach.

Lily Weng, Pin-Yu Chen, Lam M. Nguyen, Mark S. Squillante, Akhilan Boopathy, Ivan V. Oseledets, Luca Daniel

Browse the full ICML paper archive.