Verifying Robustness of Neural Networks with Abstract Features.

Xuejian Li, Hantao Xia

Browse the full SMC paper archive.