Robustness verification of support vector machines

DOI10.1007/978-3-030-32304-2_14MaRDI QIDQ6536292zbMATH OpenFDO

Authors Francesco Ranzato, Marco Zanella

Publication date 19 April 2024

Full work available at URL https://doi.org/10.1007/978-3-030-32304-2_14

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Learning and adaptive systems in artificial intelligence (68T05)

Recommendations

• Robustness Verification for Classifier Ensembles
• Robustness and regularization of support vector machines
• Robust support vector machines for classification and computational issues
• Robust classification and regression using support vector machines
• Robust learning and generalization with support vector machines.

Cites work

• A new algorithm for Chebyshev minimum-error multiplication of reduced affine forms
• A zonotopic framework for functional abstractions
• Affine arithmetic: concepts and applications
• Challenging SMT solvers to verify neural networks
• Complete abstractions everywhere
• DeepSafe: a data-driven approach for assessing robustness of neural networks
• Extensions of affine arithmetic: application to unconstrained global optimization
• Formal verification of piece-wise linear feed-forward neural networks
• scientific article; zbMATH DE number 1408651 (Why is no real title available?)
• Programming Languages and Systems
• Reluplex: an efficient SMT solver for verifying deep neural networks
• Robust support vector machines for classification and computational issues
• Robustness and regularization of support vector machines
• Safety verification of deep neural networks
• Scikit-learn: machine learning in Python

Cited in

(1)

• Difference of Convex programming in adversarial SVM

This page was built for publication: Robustness verification of support vector machines

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6536292)