CC-Cert: A Probabilistic Approach to Certify General Robustness of Neural Networks

22 September 2021

Papers citing "CC-Cert: A Probabilistic Approach to Certify General Robustness of Neural Networks"

3 / 3 papers shown

Title
PRoA: A Probabilistic Robustness Assessment against Functional Perturbations Tianle Zhang Wenjie Ruan J. Fieldsend AAML 13 21 0 05 Jul 2022
Smoothed Embeddings for Certified Few-Shot Learning Mikhail Aleksandrovich Pautov Olesya Kuznetsova Nurislam Tursynbek Aleksandr Petiushko Ivan V. Oseledets 27 5 0 02 Feb 2022
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 224 1,835 0 03 Feb 2017