Copertina

Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Yang, Jianting, Ðurašinović, Srećko, Lasserre, Jean-Bernard, Magron, Victor, Zhao, Jun
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Machine Learning Optimization and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Mixtures Closest to a Given Measure: A Semidefinite Programming Approach
di: Đurašinović, Srećko, et al.
Pubblicazione: (2025)

Leveraging Christoffel-Darboux Kernels to Strengthen Moment-SOS Relaxations
di: Ðurašinović, Srećko, et al.
Pubblicazione: (2025)

Finite convergence of the Moment-SOS hierarchy under hidden convexity
di: Ðurašinović, Srećko, et al.
Pubblicazione: (2026)

Tractable hierarchies of convex relaxations for polynomial optimization on the nonnegative orthant
di: Mai, Ngoc Hoang Anh, et al.
Pubblicazione: (2022)

Verifiable Error Bounds for Physics-Informed Neural Network Solutions of Lyapunov and Hamilton-Jacobi-Bellman Equations
di: Liu, Jun
Pubblicazione: (2026)

Local Lipschitz Constant Computation of ReLU-FNNs: Upper Bound Computation with Exactness Verification
di: Ebihara, Yoshio, et al.
Pubblicazione: (2023)

Chordal-TSSOS: a moment-SOS hierarchy that exploits term sparsity with chordal extension
di: Wang, Jie, et al.
Pubblicazione: (2020)

A hierarchy of convex relaxations for the total variation distance
di: Lasserre, Jean-Bernard
Pubblicazione: (2024)

Optimization over Trained (and Sparse) Neural Networks: A Surrogate within a Surrogate
di: Pham, Hung, et al.
Pubblicazione: (2025)

Formally Verified Physics-Informed Neural Control Lyapunov Functions
di: Liu, Jun, et al.
Pubblicazione: (2024)

Shallow Neural Networks Learn Low-Degree Spherical Polynomials with Feature Learning by Learnable Channel Attention
di: Yang, Yingzhen
Pubblicazione: (2025)

Curse of Dimensionality in Neural Network Optimization
di: Na, Sanghoon, et al.
Pubblicazione: (2025)

A Recovery Guarantee for Sparse Neural Networks
di: Fridovich-Keil, Sara, et al.
Pubblicazione: (2025)

Polynomial argmin for recovery and approximation of multivariate discontinuous functions
di: Henrion, Didier, et al.
Pubblicazione: (2023)

Convex Relaxations of ReLU Neural Networks Approximate Global Optima in Polynomial Time
di: Kim, Sungyoon, et al.
Pubblicazione: (2024)

LyZNet: A Lightweight Python Tool for Learning and Verifying Neural Lyapunov Functions and Regions of Attraction
di: Liu, Jun, et al.
Pubblicazione: (2024)

Gaussian mixtures closest to a given measure via optimal transport
di: Lasserre, Jean-Bernard
Pubblicazione: (2024)

Neural Network Training Techniques Regularize Optimization Trajectory: An Empirical Study
di: Chen, Cheng, et al.
Pubblicazione: (2020)

Adversarial Training of Two-Layer Polynomial and ReLU Activation Networks via Convex Optimization
di: Kuelbs, Daniel, et al.
Pubblicazione: (2024)

Multi-Objective Linear Ensembles for Robust and Sparse Training of Few-Bit Neural Networks
di: Bernardelli, Ambrogio Maria, et al.
Pubblicazione: (2022)

An Adaptive and Stability-Promoting Layerwise Training Approach for Sparse Deep Neural Network Architecture
di: Krishnanunni, C G, et al.
Pubblicazione: (2022)

An infinite-dimensional Christoffel function and detection of abnormal trajectories
di: Henrion, Didier, et al.
Pubblicazione: (2024)

An Iteratively Reweighted Method for Sparse Optimization on Nonconvex $\ell_{p}$ Ball
di: Wang, Hao, et al.
Pubblicazione: (2021)

First-Order Sparse Convex Optimization: Better Rates with Sparse Updates
di: Garber, Dan
Pubblicazione: (2025)

Differentially Private Optimization with Sparse Gradients
di: Ghazi, Badih, et al.
Pubblicazione: (2024)

SGD with Partial Hessian for Deep Neural Networks Optimization
di: Sun, Ying, et al.
Pubblicazione: (2024)

Regularized Gauss-Newton for Optimizing Overparameterized Neural Networks
di: Adeoye, Adeyemi D., et al.
Pubblicazione: (2024)

Exploring the Potential of Bilevel Optimization for Calibrating Neural Networks
di: Sanguin, Gabriele, et al.
Pubblicazione: (2025)

Convergence rates for polynomial optimization on set products
di: Magron, Victor
Pubblicazione: (2025)

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial
di: Li, Haoyu, et al.
Pubblicazione: (2026)

Training Neural ODEs Using Fully Discretized Simultaneous Optimization
di: Shapovalova, Mariia, et al.
Pubblicazione: (2025)

Optimality-Informed Neural Networks for Solving Parametric Optimization Problems
di: Hoffmann, Matthias K., et al.
Pubblicazione: (2025)

FSNet: Feasibility-Seeking Neural Network for Constrained Optimization with Guarantees
di: Nguyen, Hoang T., et al.
Pubblicazione: (2025)

Optimization Over Trained Neural Networks: Taking a Relaxing Walk
di: Tong, Jiatai, et al.
Pubblicazione: (2024)

Towards Guided Descent: Optimization Algorithms for Training Neural Networks At Scale
di: Nagwekar, Ansh
Pubblicazione: (2025)

A Generalized Pell's equation for a class of multivariate orthogonal polynomials
di: Lasserre, Jean-Bernard, et al.
Pubblicazione: (2023)

Learning of Linear Dynamical Systems as a Non-Commutative Polynomial Optimization Problem
di: Zhou, Quan, et al.
Pubblicazione: (2020)

Analyzing Neural Network-Based Generative Diffusion Models through Convex Optimization
di: Zhang, Fangzhao, et al.
Pubblicazione: (2024)

Bayesian Optimization of a Lightweight and Accurate Neural Network for Aerodynamic Performance Prediction
di: Shihua, James M., et al.
Pubblicazione: (2025)

Scale-Invariant Neural Network Optimization: Norm Geometry and Heavy-Tailed Noise
di: Zhang, Jiayu, et al.
Pubblicazione: (2026)