Open AccessCC-CERT: A Probabilistic Approach to Certify General Robustness of Neural Networks
Author(s) -
Mikhail Pautov,
Nurislam Tursynbek,
Marina Munkhoeva,
Nikita Muravev,
Aleksandr Petiushko,
Ivan Oseledets
Publication year - 2022
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v36i7.20768
Subject(s) - computer science , probabilistic logic , adversarial system , robustness (evolution) , artificial intelligence , bounded function , theoretical computer science , machine learning , mathematics , mathematical analysis , biochemistry , chemistry , gene