Verifying Robustness of Neural Networks with Abstract Features. - Xuejian Li; Hantao Xia (SMC, 2024)