Pautov, M. (2022) “CC-CERT: A Probabilistic Approach to Certify General Robustness of Neural Networks”, Proceedings of the AAAI Conference on Artificial Intelligence, 36(7), pp. 7975–7983. doi: 10.1609/aaai.v36i7.20768.