Robustness Verification of Support Vector Machines

26 April 2019

Papers citing "Robustness Verification of Support Vector Machines"

5 / 5 papers shown

Title
Abstract Interpretation-Based Feature Importance for SVMs Abhinanda Pal Francesco Ranzato Caterina Urban Marco Zanella FAtt 26 0 0 22 Oct 2022
A Review of Formal Methods applied to Machine Learning Caterina Urban Antoine Miné 39 55 0 06 Apr 2021
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 234 1,837 0 03 Feb 2017
Adversarial Machine Learning at Scale Alexey Kurakin Ian Goodfellow Samy Bengio AAML 273 3,110 0 04 Nov 2016
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016