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"

4 / 4 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 36 5 0 02 Feb 2022
SoK: Certified Robustness for Deep Neural Networks Linyi Li Tao Xie Bo-wen Li AAML 27 128 0 09 Sep 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 231 1,837 0 03 Feb 2017