Scaling the Convex Barrier with Sparse Dual Algorithms

14 January 2021

Papers citing "Scaling the Convex Barrier with Sparse Dual Algorithms"

8 / 8 papers shown

Title
On Using Certified Training towards Empirical Robustness Alessandro De Palma Serge Durand Zakaria Chihani François Terrier Caterina Urban OOD AAML 38 1 0 02 Oct 2024
Model-based feature selection for neural networks: A mixed-integer programming approach Shudian Zhao Calvin Tsay Jan Kronqvist 46 5 0 20 Feb 2023
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP) Christopher Brix Mark Niklas Muller Stanley Bak Taylor T. Johnson Changliu Liu NAI 38 66 0 14 Jan 2023
IBP Regularization for Verified Adversarial Robustness via Branch-and-Bound Alessandro De Palma Rudy Bunel Krishnamurthy Dvijotham M. P. Kumar Robert Stanforth AAML 48 17 0 29 Jun 2022
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results Stanley Bak Changliu Liu Taylor T. Johnson NAI 25 112 0 31 Aug 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,842 0 03 Feb 2017
Adversarial Machine Learning at Scale Alexey Kurakin Ian Goodfellow Samy Bengio AAML 296 3,112 0 04 Nov 2016
Frank-Wolfe Algorithms for Saddle Point Problems Gauthier Gidel Tony Jebara Simon Lacoste-Julien 42 70 0 25 Oct 2016