Robustness verification of support vector machines
From MaRDI portal
Publication:6536292
DOI10.1007/978-3-030-32304-2_14zbMath1539.68182MaRDI QIDQ6536292
Francesco Ranzato, Marco Zanella
Publication date: 19 April 2024
Learning and adaptive systems in artificial intelligence (68T05) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A new algorithm for Chebyshev minimum-error multiplication of reduced affine forms
- Safety verification of deep neural networks
- Reluplex: an efficient SMT solver for verifying deep neural networks
- Affine arithmetic: concepts and applications
- Complete Abstractions Everywhere
- Challenging SMT solvers to verify neural networks
- Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks
- Programming Languages and Systems
- Robust support vector machines for classification and computational issues
- A zonotopic framework for functional abstractions
- DeepSafe: a data-driven approach for assessing robustness of neural networks
This page was built for publication: Robustness verification of support vector machines
