paper-with-me

홈 › Papers

Feed-Forward Neural Networks as a Mixed-Integer Program

2024-02-09 · Navid Aftabi, Nima Moradi, Fatemeh Mahroo

Deep neural networks (DNNs) are widely studied in various applications. A DNN consists of layers of neurons that compute affine combinations, apply nonlinear operations, and produce corresponding activations. The rectified linear unit (ReLU) is a typical nonlinear operator, outputting the max of its input and zero. In scenarios like max pooling, where multiple input values are involved, a fixed-parameter DNN can be modeled as a mixed-integer program (MIP). This formulation, with continuous variables representing unit outputs and binary variables for ReLU activation, finds applications across diverse domains. This study explores the formulation of trained ReLU neurons as MIP and applies MIP models for training neural networks (NNs). Specifically, it investigates interactions between MIP techniques and various NN architectures, including binary DNNs (employing step activation functions) and binarized DNNs (with weights and activations limited to $-1,0,+1$). The research focuses on training and evaluating proposed approaches through experiments on handwritten digit classification models. The comparative study assesses the performance of trained ReLU NNs, shedding light on the effectiveness of MIP formulations in enhancing training processes for NNs.

📄 PDF Abstract BibTeX arXiv:2402.06697

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Robustness Certification with Refinement

2019-05-01 · ICLR 2019 5 · Gagandeep Singh, Timon Gehr, Markus Püschel, Martin Vechev

We present a novel approach for verification of neural networks which combines scalable over-approximation methods with precise (mixed integer) linear programming. This results in significantly better precision than stat…

ReLU activated Multi-Layer Neural Networks trained with Mixed Integer Linear Programs

2020-08-19 · Steffen Goebbels

In this paper, it is demonstrated through a case study that multilayer feedforward neural networks activated by ReLU functions can in principle be trained iteratively with Mixed Integer Linear Programs (MILPs) as follows…

Verifying Nonlinear Neural Feedback Systems using Polyhedral Enclosures

2025-03-28 · Samuel I. Akinwande, Chelsea Sidrane, Mykel J. Kochenderfer, Clark Barrett

As dynamical systems equipped with neural network controllers (neural feedback systems) become increasingly prevalent, it is critical to develop methods to ensure their safe operation. Verifying safety requires extending…

Fast Non-Parametric Learning to Accelerate Mixed-Integer Programming for Online Hybrid Model Predictive Control

2019-11-20 · Jia-Jie Zhu, Georg Martius

Today's fast linear algebra and numerical optimization tools have pushed the frontier of model predictive control (MPC) forward, to the efficient control of highly nonlinear and hybrid systems. The field of hybrid MPC ha…

Model Predictive Control

Local Repair of Neural Networks Using Optimization

2021-09-28 · Keyvan Majd, Siyu Zhou, Heni Ben Amor, Georgios Fainekos 외

In this paper, we propose a framework to repair a pre-trained feed-forward neural network (NN) to satisfy a set of properties. We formulate the properties as a set of predicates that impose constraints on the output of N…