Sparse polynomial optimisation for neural network verification

Sparse polynomial optimisation for neural network verification

The prevalence of neural networks in applications is expanding at an increasing rate. It is becoming clear that providing robust guarantees on systems that use neural networks is very important, especially in safety-critical applications. A trained neural network's sensitivity to adversarial at...

Descrizione completa

Dettagli Bibliografici
Autori principali:	Newton, M, Papachristodoulou, A
Natura:	Journal article
Lingua:	English
Pubblicazione:	Elsevier 2023

Documenti analoghi

Neural network verification using polynomial optimisation
di: Newton, M, et al.
Pubblicazione: (2022)

Reachability analysis of neural feedback loops using sparse polynomial optimisation
di: Newton, M, et al.
Pubblicazione: (2022)

Exploiting sparsity for neural network verification
di: Newton, M, et al.
Pubblicazione: (2021)

Sparse sum-of-squares (SOS) optimization: A bridge between DSOS/SDSOS and SOS optimization for sparse polynomials
di: Zheng, Y, et al.
Pubblicazione: (2019)

Sparse hierarchical regression with polynomials
di: Bertsimas, Dimitris, et al.
Pubblicazione: (2021)

Efficient, sparse biological network determination
di: August, E, et al.
Pubblicazione: (2009)

Neural network branching for neural network verification
di: Lu, J, et al.
Pubblicazione: (2020)

A local decision test for sparse polynomials
di: Grigorescu, Elena, et al.
Pubblicazione: (2017)

Formal verification of neural networks
di: Bunel, R
Pubblicazione: (2019)

Efficient neural network verification and training
di: De Palma, A
Pubblicazione: (2023)

Safety verification of deep neural networks
di: Huang, X, et al.
Pubblicazione: (2017)

Lagrangian decomposition for neural network verification
di: Bunel, R, et al.
Pubblicazione: (2020)

Data parallelism in training sparse neural networks
di: Lee, N, et al.
Pubblicazione: (2020)

Sparse dynamic reorganising fuzzy neural networks
di: Zhou, Jair Weigui
Pubblicazione: (2017)

Pure pairs. III. Sparse graphs with no polynomial-sized anticomplete pairs
di: Chudnovsky, M, et al.
Pubblicazione: (2020)

The Lottery Ticket Hypothesis: On Sparse, Trainable Neural Networks
di: Frankle, Jonathan
Pubblicazione: (2023)

Toward efficient deep learning with sparse neural networks
di: Lee, N
Pubblicazione: (2020)

Safety verification for deep neural networks with provable guarantees
di: Kwiatkowska, M
Pubblicazione: (2019)

Polynomial bounds for VC dimension of sigmoidal and general Pfaffian neural networks
di: Karpinski, M, et al.
Pubblicazione: (1997)

Branch and bound for piecewise linear neural network verification
di: Bunel, R, et al.
Pubblicazione: (2020)

Norm-Based Generalization Bounds for Compositionally Sparse Neural Network
di: Galanti, Tomer, et al.
Pubblicazione: (2023)

Systematic Modeling and Design of Sparse Deep Neural Network Accelerators
di: Wu, Yannan
Pubblicazione: (2023)

Characterizing the sparseness of neural codes.
di: Willmore, B, et al.
Pubblicazione: (2001)

The lottery ticket hypothesis: Finding sparse, trainable neural networks
di: Frankle, Jonathan, et al.
Pubblicazione: (2021)

Sparse deep neural network for encoding and decoding the structural connectome
di: Singh, Satya P., et al.
Pubblicazione: (2024)

Beyond Memorization: Exploring the Dynamics of Grokking in Sparse Neural Networks
di: Fuangkawinsombut, Siwakorn
Pubblicazione: (2024)

Dynamical system decomposition for efficient, sparse analysis.
di: Anderson, J, et al.
Pubblicazione: (2010)

Intelligent biometric signature verification system incorporating neural network
di: Lim, Boon Han, et al.
Pubblicazione: (2005)

Scattering performance verification based on UWB imaging and neural network
di: V., Vijayasarveswari, et al.
Pubblicazione: (2017)

A Unified view of piecewise linear neural network verification
di: Bunel, R, et al.
Pubblicazione: (2018)

Analysis of non-polynomial systems using the sum of squares decomposition
di: Papachristodoulou, A, et al.
Pubblicazione: (2005)

Recurrent error-based ridge polynomial neural networks for time series forecasting
di: Hassan Saeed, Waddah Waheeb
Pubblicazione: (2019)

An evaluation on offline signature verification using artificial neural network approach
di: Khalifa, Othman Omran, et al.
Pubblicazione: (2013)

Online signature verification using neural network and Pearson correlation features
di: Iranmanesh, Vahab, et al.
Pubblicazione: (2013)

Towards Reliable AI via Efficient Verification of Binarized Neural Networks
di: Jia, Kai
Pubblicazione: (2022)

Quantum computing and quantum neural networks: their foundation, optimisation, and application
di: Pointing, J
Pubblicazione: (2024)

Optimising convolutional neural networks for large-scale neuroimaging studies
di: Dinsdale, NK
Pubblicazione: (2021)

Analysis of Polynomial Systems With Time Delays via the Sum of Squares Decomposition.
di: Papachristodoulou, A, et al.
Pubblicazione: (2009)

Using polynomial semi-separable kernels to construct infinite-dimensional Lyapunov functions.
di: Peet, M, et al.
Pubblicazione: (2008)

Chordal Networks of Polynomial Ideals
di: Cifuentes, Diego Fernando, et al.
Pubblicazione: (2019)