A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation

26 May 2023

Papers citing "A Tale of Two Approximations: Tightening Over-Approximation for DNN Robustness Verification via Under-Approximation"

1 / 1 papers shown

Title
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 226 1,835 0 03 Feb 2017