How robust accuracy suffers from certified training with convex relaxations

12 June 2023

Papers citing "How robust accuracy suffers from certified training with convex relaxations"

2 / 2 papers shown

Title
On Using Certified Training towards Empirical Robustness Alessandro De Palma Serge Durand Zakaria Chihani François Terrier Caterina Urban OOD AAML 33 1 0 02 Oct 2024
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