Limitations of Piecewise Linearity for Efficient Robustness Certification

21 January 2023

Papers citing "Limitations of Piecewise Linearity for Efficient Robustness Certification"

7 / 7 papers shown

Title
1-Lipschitz Neural Networks are more expressive with N-Activations Bernd Prach Christoph H. Lampert AAML FAtt 24 0 0 10 Nov 2023
$Is Certifying $\ell_p$ Robustness Still Worthwhile?$ Is Certifying $\ell_p$ Robustness Still Worthwhile? Ravi Mangal Klas Leino Zifan Wang Kai Hu Weicheng Yu Corina S. Pasareanu Anupam Datta Matt Fredrikson AAML OOD 20 1 0 13 Oct 2023
A Recipe for Improved Certifiable Robustness Kai Hu Klas Leino Zifan Wang Matt Fredrikson AAML 18 7 0 04 Oct 2023
Unlocking Deterministic Robustness Certification on ImageNet Kaiqin Hu Andy Zou Zifan Wang Klas Leino Matt Fredrikson OOD 16 12 0 29 Jan 2023
Improved deterministic l2 robustness on CIFAR-10 and CIFAR-100 Sahil Singla Surbhi Singla S. Feizi AAML 30 54 0 05 Aug 2021
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 222 1,832 0 03 Feb 2017