- Location
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISSN
-
1573-0565
- Extent
-
Online-Ressource
- Language
-
Englisch
- Notes
-
online resource.
- Bibliographic citation
-
Robustness verification of ReLU networks via quadratic programming ; day:16 ; month:3 ; year:2022 ; pages:1-27
Machine learning ; (16.3.2022), 1-27
- Creator
-
Kuvshinov, Aleksei
Günnemann, Stephan
- Contributor
-
SpringerLink (Online service)
- DOI
-
10.1007/s10994-022-06132-9
- URN
-
urn:nbn:de:101:1-2022060821582116303278
- Rights
-
Open Access; Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
15.08.2025, 7:26 AM CEST
Data provider
This object is provided by:
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Deutsche Nationalbibliothek. If you have any questions about the object, please contact the data provider.
Associated
- Kuvshinov, Aleksei
- Günnemann, Stephan
- SpringerLink (Online service)
Other Objects (12)
Quadratic programming by spiking neuronal networks
Quadratic programming : complexity issues in real number models
Integral methods for quadratic programming : theory and implementation
Tableau-based protein substructure search using quadratic programming
New bounds for nonconvex quadratically constrained quadratic programming
Convex Quadratic Programming Relaxations for Network Scheduling Problems
Convex quadratic and semidefinite programming relaxations in Scheduling
Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
On linear-quadratic optimal control and robustness of differential-algebraic systems
Robustness verification of k-nearest neighbors by abstract interpretation
3DVerifier: efficient robustness verification for 3D point cloud models
Quadratic programming by spiking neuronal networks
Quadratic programming : complexity issues in real number models
Integral methods for quadratic programming : theory and implementation
Tableau-based protein substructure search using quadratic programming
New bounds for nonconvex quadratically constrained quadratic programming
Convex Quadratic Programming Relaxations for Network Scheduling Problems
Convex quadratic and semidefinite programming relaxations in Scheduling
Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
On linear-quadratic optimal control and robustness of differential-algebraic systems
Robustness verification of k-nearest neighbors by abstract interpretation
3DVerifier: efficient robustness verification for 3D point cloud models
Quadratic programming by spiking neuronal networks
Quadratic programming : complexity issues in real number models
Integral methods for quadratic programming : theory and implementation
Tableau-based protein substructure search using quadratic programming
New bounds for nonconvex quadratically constrained quadratic programming
Convex Quadratic Programming Relaxations for Network Scheduling Problems
Convex quadratic and semidefinite programming relaxations in Scheduling
Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
Speeding up neural network robustness verification via algorithm configuration and an optimised mixed integer linear programming solver portfolio
On linear-quadratic optimal control and robustness of differential-algebraic systems
Robustness verification of k-nearest neighbors by abstract interpretation