Cover Image

Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ueda, Ryota, Sato, Takami, Kobayashi, Ken, Nakata, Kazuhide
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Optimization and Control 90C22, 68T05 I.2.6; G.1.6
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Multi-Objective Optimization with Desirability and Morris-Mitchell Criterion
by: Bartz-Beielstein, Thomas, et al.
Published: (2025)

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

Refining Graphical Neural Network Predictions Using Flow Matching for Optimal Power Flow with Constraint-Satisfaction Guarantee
by: Khanal, Kshitiz
Published: (2025)

Efficient Training of Physics-enhanced Neural ODEs via Direct Collocation and Nonlinear Programming
by: Langenkamp, Linus, et al.
Published: (2025)

Amazon Locker Capacity Management
by: Sethuraman, Samyukta, et al.
Published: (2023)

Black-Box Uniform Stability for Non-Euclidean Empirical Risk Minimization
by: Vary, Simon, et al.
Published: (2024)

Enhancing Model Based Derivative Free Optimization using Direct Search
by: Li, Zijun, et al.
Published: (2026)

From Non-Identifiability to Goal-Integrated Decision-Making in Parametric Inverse Optimization
by: Ahmadi, Farzin, et al.
Published: (2026)

The Non-Linearity Perturbation Threshold: Width Scaling and Landscape Bifurcations in Deep Learning
by: Alexander, Michael
Published: (2026)

Escaping Saddle Points via Curvature-Calibrated Perturbations: A Complete Analysis with Explicit Constants and Empirical Validation
by: Alpay, Faruk, et al.
Published: (2025)

Setwise Coordinate Descent for Dual Asynchronous Decentralized Optimization
by: Costantini, Marina, et al.
Published: (2025)

Sparse Training of Neural Networks based on Multilevel Mirror Descent
by: Lunk, Yannick, et al.
Published: (2026)

Multi-Objective Optimization and Hyperparameter Tuning With Desirability Functions
by: Bartz-Beielstein, Thomas
Published: (2025)

TOPSIS-like metaheuristic for LABS problem
by: Urbańczyk, Aleksandra, et al.
Published: (2025)

Sequential, Parallel and Consecutive Hybrid Evolutionary-Swarm Optimization Metaheuristics
by: Urbańczyk, Piotr, et al.
Published: (2025)

Anarchy in the swarm: Testing informed and uninformed diversity-enhancing mechanisms within PSO framework
by: Urbańczyk, Piotr, et al.
Published: (2026)

Inter-Layer Hessian Analysis of Neural Networks with DAG Architectures
by: Bolshim, Maxim, et al.
Published: (2026)

On-Average Stability of Multipass Preconditioned SGD and Effective Dimension
by: Vary, Simon, et al.
Published: (2026)

Pseudoconvex Problems in Operational Decision Systems: Algorithms for Joint Learning and Optimization
by: Li, Zijun, et al.
Published: (2026)

Adaptive Conditional Forest Sampling for Spectral Risk Optimisation under Decision-Dependent Uncertainty
by: Kurbucz, Marcell T.
Published: (2026)

Socio-cognitive agent-oriented evolutionary algorithm with trust-based optimization
by: Urbańczyk, Aleksandra, et al.
Published: (2025)

Maximum Entropy Relaxation of Multi-Way Cardinality Constraints for Synthetic Population Generation
by: Pachet, François, et al.
Published: (2026)

GDNSQ: Gradual Differentiable Noise Scale Quantization for Low-bit Neural Networks
by: Salishev, Sergey, et al.
Published: (2025)

Comparative Evaluation of SDP, SOCP, and QC Convex Relaxations for Large-Scale Market-Based AC Optimal Power Flow
by: Keskin, Ata
Published: (2026)

Primal-Dual Sample Complexity Bounds for Constrained Markov Decision Processes with Multiple Constraints
by: Buckley, Max, et al.
Published: (2025)

Dynamic resource matching in manufacturing using deep reinforcement learning
by: Panda, Saunak Kumar, et al.
Published: (2026)

CAO: Curvature-Adaptive Optimization via Periodic Low-Rank Hessian Sketching
by: Du, Wenzhang
Published: (2025)

i-DEQ: A stable inertial deep equilibrium model for image restoration
by: Clerc, Antonin, et al.
Published: (2026)

Stochastic Estimation of the Layer-wise Hessian Trace for Monitoring Neural-network Training
by: Bolshim, Maxim, et al.
Published: (2026)

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

Axis-Aligned Relaxations for Mixed-Integer Nonlinear Programming
by: Zhu, Haisheng, et al.
Published: (2026)

Last-iterate Convergence of ADMM on Multi-affine Quadratic Equality Constrained Problem
by: Chao, Yutong, et al.
Published: (2026)

Limitations of Scalarisation in MORL: A Comparative Study in Discrete Environments
by: Shah, Muhammad Sa'ood, et al.
Published: (2025)

Iterative Exploration-Driven Sparse SDP Clustering via Thompson Sampling
by: Mun, Jongmin, et al.
Published: (2025)

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

Decentralized Optimization with Topology-Independent Communication
by: Lin, Ying, et al.
Published: (2025)

Ghosts of Softmax: Complex Singularities That Limit Safe Step Sizes in Cross-Entropy
by: Sao, Piyush
Published: (2026)

Machine Learning Algorithms for Improving Black Box Optimization Solvers
by: Kimiaei, Morteza, et al.
Published: (2025)

Local properties of neural networks through the lens of layer-wise Hessians
by: Bolshim, Maxim, et al.
Published: (2025)

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