Verifying Global Neural Network Specifications using Hyperproperties

21 June 2023

Papers citing "Verifying Global Neural Network Specifications using Hyperproperties"

2 / 2 papers shown

Title
Efficient Global Robustness Certification of Neural Networks via Interleaving Twin-Network Encoding Zhilu Wang Chao Huang Qi Zhu AAML 44 18 0 26 Mar 2022
Globally-Robust Neural Networks Klas Leino Zifan Wang Matt Fredrikson AAML OOD 80 125 0 16 Feb 2021