Cover Image

On Integer Programming for the Binarized Neural Network Verification Problem

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kim, Woojin, Luedtke, James R.
Format:	Preprint
Published:	2025
Subjects:	Machine Learning Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

Expressive Power of Graph Neural Networks for (Mixed-Integer) Quadratic Programs
by: Chen, Ziang, et al.
Published: (2024)

A Unified Optimization Framework for Multiclass Classification with Structured Hyperplane Arrangements
by: Blanco, Víctor, et al.
Published: (2025)

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

Mixed-Integer Programming for Change-point Detection
by: Narula, Apoorva, et al.
Published: (2026)

Learning Cut Generating Functions for Integer Programming
by: Cheng, Hongyu, et al.
Published: (2024)

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

A Distance Metric for Mixed Integer Programming Instances
by: Maudet, Gwen, et al.
Published: (2025)

Accelerated Nonnegative Tensor Completion via Integer Programming
by: Pan, Wenhao, et al.
Published: (2022)

Stochastic Gradients under Nuisances
by: Yu, Facheng, et al.
Published: (2025)

Generalization Guarantees for Learning Branch-and-Cut Policies in Integer Programming
by: Cheng, Hongyu, et al.
Published: (2025)

Predicting Accurate Lagrangian Multipliers for Mixed Integer Linear Programs
by: Demelas, Francesco, et al.
Published: (2023)

Effective Generation of Feasible Solutions for Integer Programming via Guided Diffusion
by: Zeng, Hao, et al.
Published: (2024)

Learning to Optimize for Mixed-Integer Non-linear Programming with Feasibility Guarantees
by: Tang, Bo, et al.
Published: (2024)

Speeding Up Mixed-Integer Programming Solvers with Sparse Learning for Branching
by: Bayramoğlu, Selin, et al.
Published: (2026)

Differentiable Integer Linear Programming is not Differentiable & it's not a mere technical problem
by: Sornwanee, Thanawat
Published: (2026)

Machine Learning Augmented Branch and Bound for Mixed Integer Linear Programming
by: Scavuzzo, Lara, et al.
Published: (2024)

Towards An Unsupervised Learning Scheme for Efficiently Solving Parameterized Mixed-Integer Programs
by: Qu, Shiyuan, et al.
Published: (2024)

Physics-Informed Neural Network Lyapunov Functions: PDE Characterization, Learning, and Verification
by: Liu, Jun, et al.
Published: (2023)

Scalable Mixed-Integer Optimization with Neural Constraints via Dual Decomposition
by: Zeng, Shuli, et al.
Published: (2025)

Solving 0-1 Integer Programs with Unknown Knapsack Constraints Using Membership Oracles
by: Messana, Rosario, et al.
Published: (2024)

Balans: Multi-Armed Bandits-based Adaptive Large Neighborhood Search for Mixed-Integer Programming Problem
by: Cai, Junyang, et al.
Published: (2024)

A Unified Approach to Extract Interpretable Rules from Tree Ensembles via Integer Programming
by: Bonasera, Lorenzo, et al.
Published: (2024)

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

Calibrating Neural Networks' parameters through Optimal Contraction in a Prediction Problem
by: Gonzalo, Valdes
Published: (2024)

Learning Backdoors for Mixed Integer Linear Programs with Contrastive Learning
by: Cai, Junyang, et al.
Published: (2024)

Multi-task Representation Learning for Mixed Integer Linear Programming
by: Cai, Junyang, et al.
Published: (2024)

Scalable Solution of the Stochastic Multi-path Traveling Salesman Problem via Neural Networks
by: Chou, Xiaochen, et al.
Published: (2026)

Tensor Completion via Integer Optimization
by: Chen, Xin, et al.
Published: (2024)

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

A Neural Network Framework for Discovering Closed-form Solutions to Quadratic Programs with Linear Constraints
by: Beylunioglu, Fuat Can, et al.
Published: (2025)

Sample Complexity of Stochastic Optimization with Integer Variables
by: Cheng, Hongyu, et al.
Published: (2026)

Randomized Geometric Algebra Methods for Convex Neural Networks
by: Wang, Yifei, et al.
Published: (2024)

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

Cutting Planes for Binarized Network Flow Problems
by: Bonami, Pierre, et al.
Published: (2025)

Probing-Enhanced Stochastic Programming
by: Ma, Zhichao, et al.
Published: (2024)

Learning Infinite-Horizon Average-Reward Linear Mixture MDPs of Bounded Span
by: Chae, Woojin, et al.
Published: (2024)

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

Conformal Mixed-Integer Constraint Learning with Feasibility Guarantees
by: Ovalle, Daniel, et al.
Published: (2025)

Responsible Machine Learning via Mixed-Integer Optimization
by: Justin, Nathan, et al.
Published: (2025)