Verification of Neural Networks' Global Robustness

29 February 2024

Papers citing "Verification of Neural Networks' Global Robustness"

7 / 7 papers shown

Title
A Formally Verified Robustness Certifier for Neural Networks (Extended Version) James Tobler Hira Taqdees Syeda Toby Murray AAML 24 0 0 11 May 2025
Guarding the Privacy of Label-Only Access to Neural Network Classifiers via iDP Verification Anan Kabaha Dana Drachsler-Cohen AAML 43 0 0 23 Feb 2025
A Survey of Neural Network Robustness Assessment in Image Recognition Jie Wang Jun Ai Minyan Lu Haoran Su Dan Yu Yutao Zhang Junda Zhu Jingyu Liu AAML 30 3 0 12 Apr 2024
Boosting Robustness Verification of Semantic Feature Neighborhoods Anan Kabaha Dana Drachsler-Cohen AAML 29 6 0 12 Sep 2022
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding Zhilu Wang Chao Huang Qi Zhu AAML 34 18 0 26 Mar 2022
Globally-Robust Neural Networks Klas Leino Zifan Wang Matt Fredrikson AAML OOD 80 125 0 16 Feb 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 228 1,835 0 03 Feb 2017