Pautov, Mikhail, Nurislam Tursynbek, Marina Munkhoeva, Nikita Muravev, Aleksandr Petiushko, and Ivan Oseledets. 2022. “CC-CERT: A Probabilistic Approach to Certify General Robustness of Neural Networks”. Proceedings of the AAAI Conference on Artificial Intelligence 36 (7):7975-83. https://doi.org/10.1609/aaai.v36i7.20768.