Copertina

Training Safe Neural Networks with Global SDP Bounds

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Soletskyi, Roman, Dalrymple, David "davidad"
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Machine Learning Artificial Intelligence Optimization and Control
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

SMiLE: Provably Enforcing Global Relational Properties in Neural Networks
di: Francobaldi, Matteo, et al.
Pubblicazione: (2025)

A Convexity-dependent Two-Phase Training Algorithm for Deep Neural Networks
di: Hrycej, Tomas, et al.
Pubblicazione: (2025)

Chordal Sparsity for SDP-based Neural Network Verification
di: Xue, Anton, et al.
Pubblicazione: (2022)

Global Convergence and Rich Feature Learning in $L$-Layer Infinite-Width Neural Networks under $μ$P Parametrization
di: Chen, Zixiang, et al.
Pubblicazione: (2025)

Provable Acceleration of Nesterov's Accelerated Gradient Method over Heavy Ball Method in Training Over-Parameterized Neural Networks
di: Liu, Xin, et al.
Pubblicazione: (2022)

Federated Dynamical Low-Rank Training with Global Loss Convergence Guarantees
di: Schotthöfer, Steffen, et al.
Pubblicazione: (2024)

Unsupervised Training of Diffusion Models for Feasible Solution Generation in Neural Combinatorial Optimization
di: Hong, Seong-Hyun, et al.
Pubblicazione: (2024)

Optimizing the Optimizer for Physics-Informed Neural Networks and Kolmogorov-Arnold Networks
di: Kiyani, Elham, et al.
Pubblicazione: (2025)

Bayesian Optimization for Hyperparameters Tuning in Neural Networks
di: Onorato, Gabriele
Pubblicazione: (2024)

Adaptive Primal-Dual Method for Safe Reinforcement Learning
di: Chen, Weiqin, et al.
Pubblicazione: (2024)

Applications of 0-1 Neural Networks in Prescription and Prediction
di: Patil, Vrishabh, et al.
Pubblicazione: (2024)

Taming Binarized Neural Networks and Mixed-Integer Programs
di: Aspman, Johannes, et al.
Pubblicazione: (2023)

Feed-Forward Neural Networks as a Mixed-Integer Program
di: Aftabi, Navid, et al.
Pubblicazione: (2024)

Graph Neural Networks for the Offline Nanosatellite Task Scheduling Problem
di: Pacheco, Bruno Machado, et al.
Pubblicazione: (2023)

Ginger: An Efficient Curvature Approximation with Linear Complexity for General Neural Networks
di: Hao, Yongchang, et al.
Pubblicazione: (2024)

Provably Safe Generative Sampling with Constricting Barrier Functions
di: Gadginmath, Darshan, et al.
Pubblicazione: (2026)

An Improved Finite-time Analysis of Temporal Difference Learning with Deep Neural Networks
di: Ke, Zhifa, et al.
Pubblicazione: (2024)

Understanding Sampler Stochasticity in Training Diffusion Models for RLHF
di: Sheng, Jiayuan, et al.
Pubblicazione: (2025)

A Safe Screening Rule with Bi-level Optimization of $ν$ Support Vector Machine
di: Yang, Zhiji, et al.
Pubblicazione: (2024)

PRISM: Distribution-free Adaptive Computation of Matrix Functions for Accelerating Neural Network Training
di: Yang, Shenghao, et al.
Pubblicazione: (2026)

Double-Bounded Optimal Transport for Advanced Clustering and Classification
di: Shi, Liangliang, et al.
Pubblicazione: (2024)

On the Convergence of Overparameterized Problems: Inherent Properties of the Compositional Structure of Neural Networks
di: de Oliveira, Arthur Castello Branco, et al.
Pubblicazione: (2025)

A Riemannian Optimization Perspective of the Gauss-Newton Method for Feedforward Neural Networks
di: Cayci, Semih
Pubblicazione: (2024)

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

AdamZ: An Enhanced Optimisation Method for Neural Network Training
di: Zaznov, Ilia, et al.
Pubblicazione: (2024)

Solving Integrated Process Planning and Scheduling Problem via Graph Neural Network Based Deep Reinforcement Learning
di: Li, Hongpei, et al.
Pubblicazione: (2024)

T-SKM-Net: Trainable Neural Network Framework for Linear Constraint Satisfaction via Sampling Kaczmarz-Motzkin Method
di: Zhu, Haoyu, et al.
Pubblicazione: (2025)

Optimizing Inventory Routing: A Decision-Focused Learning Approach using Neural Networks
di: Islam, MD Shafikul, et al.
Pubblicazione: (2023)

Distributionally Robust Safety Verification of Neural Networks via Worst-Case CVaR
di: Kishida, Masako
Pubblicazione: (2025)

Karush-Kuhn-Tucker Condition-Trained Neural Networks (KKT Nets)
di: Arvind, Shreya, et al.
Pubblicazione: (2024)

Training Infinitely Deep and Wide Transformers
di: Barboni, Raphaël, et al.
Pubblicazione: (2026)

Recursive Entropic Risk Optimization in Discounted MDPs: Sample Complexity Bounds with a Generative Model
di: Mortensen, Oliver, et al.
Pubblicazione: (2025)

Anytime Training with Schedule-Free Spectral Optimization
di: Apte, Anuj, et al.
Pubblicazione: (2026)

Accelerating RLHF Training with Reward Variance Increase
di: Yang, Zonglin, et al.
Pubblicazione: (2025)

CORL: Reinforcement Learning of MILP Policies Solved via Branch and Bound
di: Anand, Akhil S, et al.
Pubblicazione: (2025)

Global Convergence Guarantees for Federated Policy Gradient Methods with Adversaries
di: Ganesh, Swetha, et al.
Pubblicazione: (2024)

Qronos: Correcting the Past by Shaping the Future... in Post-Training Quantization
di: Zhang, Shihao, et al.
Pubblicazione: (2025)

Neural Solver Selection for Combinatorial Optimization
di: Gao, Chengrui, et al.
Pubblicazione: (2024)

ECPv2: Fast, Efficient, and Scalable Global Optimization of Lipschitz Functions
di: Fourati, Fares, et al.
Pubblicazione: (2025)

Stochastic Subgradient Methods with Guaranteed Global Stability in Nonsmooth Nonconvex Optimization
di: Xiao, Nachuan, et al.
Pubblicazione: (2023)