:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Chiu, Hong-Ming, Chen, Hao, Zhang, Huan, Zhang, Richard Y.
Format:	Preprint
Published:	2025
Subjects:	Machine Learning
Online Access:	https://arxiv.org/abs/2506.06665
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

E-Globe: Scalable $ε$-Global Verification of Neural Networks via Tight Upper Bounds and Pattern-Aware Branching
by: Li, Wenting, et al.
Published: (2026)

Training Safe Neural Networks with Global SDP Bounds
by: Soletskyi, Roman, et al.
Published: (2024)

Neural Network Verification with Branch-and-Bound for General Nonlinearities
by: Shi, Zhouxing, et al.
Published: (2024)

Statistically Optimal K-means Clustering via Nonnegative Low-rank Semidefinite Programming
by: Zhuang, Yubo, et al.
Published: (2023)

Well-conditioned Primal-Dual Interior-point Method for Accurate Low-rank Semidefinite Programming
by: Chiu, Hong-Ming, et al.
Published: (2024)

Fast and Accurate Estimation of Low-Rank Matrices from Noisy Measurements via Preconditioned Non-Convex Gradient Descent
by: Zhang, Gavin, et al.
Published: (2023)

Efficient Neural Network Verification via Order Leading Exploration of Branch-and-Bound Trees
by: Zhang, Guanqin, et al.
Published: (2025)

Adaptive Branch-and-Bound Tree Exploration for Neural Network Verification
by: Fukuda, Kota, et al.
Published: (2025)

Interior-Point Vanishing Problem in Semidefinite Relaxations for Neural Network Verification
by: Ueda, Ryota, et al.
Published: (2025)

Verification of Neural Control Barrier Functions with Symbolic Derivative Bounds Propagation
by: Hu, Hanjiang, et al.
Published: (2024)

Provably Bounding Neural Network Preimages
by: Kotha, Suhas, et al.
Published: (2023)

Scalable Verification of Neural Control Barrier Functions Using Linear Bound Propagation
by: Vertovec, Nikolaus, et al.
Published: (2025)

Scalable Neural Network Verification with Branch-and-bound Inferred Cutting Planes
by: Zhou, Duo, et al.
Published: (2024)

Branch and Bound for Piecewise Linear Neural Network Verification
by: Bunel, Rudy, et al.
Published: (2019)

Semidefinite Programming for Quantum Channel Learning
by: Belov, Mikhail Gennadievich, et al.
Published: (2026)

Tight and Efficient Upper Bound on Spectral Norm of Convolutional Layers
by: Grishina, Ekaterina, et al.
Published: (2024)

On Integer Programming for the Binarized Neural Network Verification Problem
by: Kim, Woojin, et al.
Published: (2025)

Quantum Interval Bound Propagation for Certified Training of Quantum Neural Networks
by: Andrews, Emma, et al.
Published: (2026)

Clip-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification
by: Zhou, Duo, et al.
Published: (2025)

Robustness Verification of Polynomial Neural Networks
by: Alexandr, Yulia, et al.
Published: (2026)

Solving Probabilistic Verification Problems of Neural Networks using Branch and Bound
by: Boetius, David, et al.
Published: (2024)

Hierarchical End-to-End Taylor Bounds for Complete Neural Network Verification
by: Entesari, Taha, et al.
Published: (2026)

Generalization Bounds for Neural Belief Propagation Decoders
by: Adiga, Sudarshan, et al.
Published: (2023)

Towards Optimal Branching of Linear and Semidefinite Relaxations for Neural Network Robustness Certification
by: Anderson, Brendon G., et al.
Published: (2021)

Tight Robustness Certificates and Wasserstein Distributional Attacks for Deep Neural Networks
by: Le, Bach C., et al.
Published: (2025)

An Optimal Tightness Bound for the Simulation Lemma
by: Lobel, Sam, et al.
Published: (2024)

Normalize Then Propagate: Efficient Homophilous Regularization for Few-shot Semi-Supervised Node Classification
by: Zhang, Baoming, et al.
Published: (2025)

Efficient Verification of Neural Control Barrier Functions with Smooth Nonlinear Activations
by: Zhang, Jun, et al.
Published: (2026)

Neural Network Verification is a Programming Language Challenge
by: Cordeiro, Lucas C., et al.
Published: (2025)

TAO: Tolerance-Aware Optimistic Verification for Floating-Point Neural Networks
by: Yao, Jianzhu, et al.
Published: (2025)

A Semidefinite Programming-Based Branch-and-Cut Algorithm for Biclustering
by: Sudoso, Antonio M.
Published: (2024)

On the Expressive Power of Subgraph Graph Neural Networks for Graphs with Bounded Cycles
by: Chen, Ziang, et al.
Published: (2025)

Label Propagation Training Schemes for Physics-Informed Neural Networks and Gaussian Processes
by: Zhong, Ming, et al.
Published: (2024)

Exploring and Improving Initialization for Deep Graph Neural Networks: A Signal Propagation Perspective
by: Wang, Senmiao, et al.
Published: (2025)

Heterophilous Distribution Propagation for Graph Neural Networks
by: Zheng, Zhuonan, et al.
Published: (2024)

The Luna Bound Propagator for Formal Analysis of Neural Networks
by: LeCates, Henry, et al.
Published: (2026)

Which Algorithms Have Tight Generalization Bounds?
by: Gastpar, Michael, et al.
Published: (2024)

Dendritic Neural Networks with Equilibrium Propagation
by: Kubo, Yoshimasa
Published: (2026)