Copertina

Stress-Testing Neural Network Verifiers with Provably Robust Instances

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Troxell, David, Alexandr, Yulia, Hunt, Sofia, Lei, Stephanie, Montúfar, Guido
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Machine Learning Logic in Computer Science Optimization and Control Primary 68Q60, Secondary 68T07, 65G20, 90C11, 90C25, 90C57 D.2.4; F.3.1; I.2.6
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Differentiable Optimization Layers for Guaranteed Fairness in Deep Learning
di: Troxell, David, et al.
Pubblicazione: (2026)

Solving Regularized Multifacility Location Problems with Unknown Number of Centers via Difference-of-Convex Optimization
di: Geremew, W., et al.
Pubblicazione: (2026)

A Theoretical Study of (Hyper) Self-Attention through the Lens of Interactions: Representation, Training, Generalization
di: Ustaomeroglu, Muhammed, et al.
Pubblicazione: (2025)

pFedSOP : Accelerating Training Of Personalized Federated Learning Using Second-Order Optimization
di: Sen, Mrinmay, et al.
Pubblicazione: (2025)

Accelerated Training of Federated Learning via Second-Order Methods
di: Sen, Mrinmay, et al.
Pubblicazione: (2025)

Representation and Regression Problems in Neural Networks: Relaxation, Generalization, and Numerics
di: Liu, Kang, et al.
Pubblicazione: (2024)

Incremental Certificate Learning for Hybrid Neural Network Verification . A Solver Architecture for Piecewise-Linear Safety Queries
di: Gokavarapu, Chandrasekhar
Pubblicazione: (2025)

Kurdyka-Łojasiewicz exponent via Hadamard parametrization
di: Ouyang, Wenqing, et al.
Pubblicazione: (2024)

Kurdyka-Łojasiewicz exponent via square transformation
di: Ouyang, Wenqing
Pubblicazione: (2025)

Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming
di: Lagerkvist, Victor, et al.
Pubblicazione: (2026)

Accuracy and Performance Evaluation of Quantum, Classical and Hybrid Solvers for the Max-Cut Problem
di: Vodeb, Jaka, et al.
Pubblicazione: (2024)

Global Convergence of Sampling-Based Nonconvex Optimization through Diffusion-Style Smoothing
di: Yi, Zeji, et al.
Pubblicazione: (2026)

FSD-CAP: Fractional Subgraph Diffusion with Class-Aware Propagation for Graph Feature Imputation
di: Qiao, Xin, et al.
Pubblicazione: (2026)

Moments, Time-Inversion and Source Identification for the Heat Equation
di: Liu, Kang, et al.
Pubblicazione: (2025)

An Augmented Lagrangian Method for Training Recurrent Neural Networks
di: Wang, Yue, et al.
Pubblicazione: (2024)

Barrier Algorithms for Constrained Non-Convex Optimization
di: Dvurechensky, Pavel, et al.
Pubblicazione: (2024)

Riemannian Adaptive Regularized Newton Methods with Hölder Continuous Hessians
di: Zhang, Chenyu, et al.
Pubblicazione: (2023)

Quadratic Programming over Linearly Ordered Fields: Decidability and Attainment of Optimal Solutions
di: Plutenko, Dmytro O.
Pubblicazione: (2026)

Proof-Carrying Verification for ReLU Networks via Rational Certificates
di: Gokavarapu, Chandrasekhar
Pubblicazione: (2025)

Effectively Leveraging Momentum Terms in Stochastic Line Search Frameworks for Fast Optimization of Finite-Sum Problems
di: Lapucci, Matteo, et al.
Pubblicazione: (2024)

Convergence Conditions for Stochastic Line Search Based Optimization of Over-parametrized Models
di: Lapucci, Matteo, et al.
Pubblicazione: (2024)

IGT-OMD: Implicit Gradient Transport for Decision-Focused Learning under Delayed Feedback
di: Amoh, Benjamin, et al.
Pubblicazione: (2026)

Policy Optimization over General State and Action Spaces
di: Ju, Caleb, et al.
Pubblicazione: (2022)

Vanishing L2 regularization for the softmax Multi Armed Bandit
di: Anita, Stefana-Lucia, et al.
Pubblicazione: (2026)

PyEPO: A PyTorch-based End-to-End Predict-then-Optimize Library for Linear and Integer Programming
di: Tang, Bo, et al.
Pubblicazione: (2022)

Uncomputability of Global Optima for Nonconvex Functions in the Oracle Model
di: Lakshmanan, K
Pubblicazione: (2023)

Performance Estimation of second-order optimization methods on classes of univariate functions
di: Rubbens, Anne, et al.
Pubblicazione: (2025)

Optimization with Trained Machine Learning Models Embedded
di: Schweidtmann, Artur M., et al.
Pubblicazione: (2022)

The Geometry of Linear Program Compression: An Exact Characterization and Learning Algorithm
di: Ye, Yuhan, et al.
Pubblicazione: (2026)

Nature-Inspired Algorithms in Optimization: Introduction, Hybridization and Insights
di: Yang, Xin-She
Pubblicazione: (2023)

SAGE: Sign-Adaptive Gradient for Memory-Efficient LLM Optimization
di: Lee, Wooin, et al.
Pubblicazione: (2026)

Implicit Bias and Invariance: How Hopfield Networks Efficiently Learn Graph Orbits
di: Murray, Michael, et al.
Pubblicazione: (2025)

On the power of linear programming for K-means clustering
di: De Rosa, Antonio, et al.
Pubblicazione: (2024)

Sample-wise Constrained Learning via a Sequential Penalty Approach with Applications in Image Processing
di: Lanzillotta, Francesca, et al.
Pubblicazione: (2026)

Fitted value iteration methods for bicausal optimal transport
di: Bayraktar, Erhan, et al.
Pubblicazione: (2023)

Beyond Discreteness: Sample Complexity Analysis of Straight-Through Estimator for 1-bit Quantization
di: Jeong, Halyun, et al.
Pubblicazione: (2025)

Accelerating preconditioned ADMM via degenerate proximal point mappings
di: Sun, Defeng, et al.
Pubblicazione: (2024)

SUDA-Muon: Structural Design Principles and Boundaries for Fully Decentralized Muon
di: Zhang, Hengrui, et al.
Pubblicazione: (2026)

Two-level overlapping additive Schwarz preconditioner for training scientific machine learning applications
di: Lee, Youngkyu, et al.
Pubblicazione: (2024)

Enhancing training of physics-informed neural networks using domain-decomposition based preconditioning strategies
di: Kopaničáková, Alena, et al.
Pubblicazione: (2023)