Image de couverture de livre

Mathematical Programming Models for Exact and Interpretable Formulation of Neural Networks

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Ataei, Masoud, Hasaj, Edrin, Gipp, Jacob, Forouzi, Sepideh
Format:	Preprint
Publié:	2025
Sujets:	Artificial Intelligence Optimization and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Taming Binarized Neural Networks and Mixed-Integer Programs
par: Aspman, Johannes, et autres
Publié: (2023)

The Mathematics of Artificial Intelligence
par: Peyré, Gabriel
Publié: (2025)

Feed-Forward Neural Networks as a Mixed-Integer Program
par: Aftabi, Navid, et autres
Publié: (2024)

MUSIC: Accelerated Convergence for Distributed Optimization With Inexact and Exact Methods
par: Wu, Mou, et autres
Publié: (2024)

LinSATNet: The Positive Linear Satisfiability Neural Networks
par: Wang, Runzhong, et autres
Publié: (2024)

Exact and heuristic methods for the discrete parallel machine scheduling location problem
par: Kramer, Raphael, et autres
Publié: (2020)

CAM-Bench: A Benchmark for Computational and Applied Mathematics in Lean
par: Long, Wentao, et autres
Publié: (2026)

Lyapunov-stable Neural Control for State and Output Feedback: A Novel Formulation
par: Yang, Lujie, et autres
Publié: (2024)

A Dual Certificate Approach to Sparsity in Infinite-Width Shallow Neural Networks
par: Del Grande, Leonardo, et autres
Publié: (2026)

PySCIPOpt-ML: Embedding Trained Machine Learning Models into Mixed-Integer Programs
par: Turner, Mark, et autres
Publié: (2023)

Teaching LLMs to Think Mathematically: A Critical Study of Decision-Making via Optimization
par: Abdel-Rahman, Mohammad J., et autres
Publié: (2025)

Mission-Aligned Learning-Informed Control of Autonomous Systems: Formulation and Foundations
par: Kungurtsev, Vyacheslav, et autres
Publié: (2025)

GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient Descent
par: Zeng, Hongtai, et autres
Publié: (2024)

LLM4Branch: Large Language Model for Discovering Efficient Branching Policies of Integer Programs
par: Hou, Zhinan, et autres
Publié: (2026)

Efficient and Interpretable Neural Networks Using Complex Lehmer Transform
par: Ataei, Masoud, et autres
Publié: (2025)

Model Predictive Control and Reinforcement Learning: A Unified Framework Based on Dynamic Programming
par: Bertsekas, Dimitri P.
Publié: (2024)

Exact alternative optima for nonlinear optimization problems defined with maximum component objective function constrained by the Sugeno-Weber fuzzy relational inequalities
par: Ghodousian, Amin, et autres
Publié: (2025)

Exact MAP inference in general higher-order graphical models using linear programming
par: Bechar, Ikhlef
Publié: (2017)

FMIP: Joint Continuous-Integer Flow For Mixed-Integer Linear Programming
par: Li, Hongpei, et autres
Publié: (2025)

Deep FlexQP: Accelerated Nonlinear Programming via Deep Unfolding
par: Oshin, Alex, et autres
Publié: (2025)

On Dynamic Programming Decompositions of Static Risk Measures in Markov Decision Processes
par: Hau, Jia Lin, et autres
Publié: (2023)

Offline Supervised Learning V.S. Online Direct Policy Optimization: A Comparative Study and A Unified Training Paradigm for Neural Network-Based Optimal Feedback Control
par: Zhao, Yue, et autres
Publié: (2022)

A Constraint Programming Approach for n-Day Lookahead Playoff Clinching in the NHL
par: Rosenberg, Gili, et autres
Publié: (2026)

EquivaMap: Leveraging LLMs for Automatic Equivalence Checking of Optimization Formulations
par: Zhai, Haotian, et autres
Publié: (2025)

Optimizing the Optimizer for Physics-Informed Neural Networks and Kolmogorov-Arnold Networks
par: Kiyani, Elham, et autres
Publié: (2025)

Exact Dual Geometry of SOC-ICNN Value Functions
par: Liu, Kang, et autres
Publié: (2026)

Bayesian Optimization for Hyperparameters Tuning in Neural Networks
par: Onorato, Gabriele
Publié: (2024)

Introduction to Exact Penalization for Mathematical Programming with Equilibrium Constraints
par: Wang, Louis Shuo
Publié: (2026)

Training Safe Neural Networks with Global SDP Bounds
par: Soletskyi, Roman, et autres
Publié: (2024)

Applications of 0-1 Neural Networks in Prescription and Prediction
par: Patil, Vrishabh, et autres
Publié: (2024)

Employing Deep Neural Operators for PDE control by decoupling training and optimization
par: Lundqvist, Oliver G. S., et autres
Publié: (2025)

DT-PBO: an Interpretable Tree-based Surrogate Model for Preferential Bayesian Optimization
par: Leenders, Nick, et autres
Publié: (2025)

Stability-Preserving Online Adaptation of Neural Closed-loop Maps
par: Saccani, Danilo, et autres
Publié: (2026)

On the Convergence of Overparameterized Problems: Inherent Properties of the Compositional Structure of Neural Networks
par: de Oliveira, Arthur Castello Branco, et autres
Publié: (2025)

Graph Neural Networks for the Offline Nanosatellite Task Scheduling Problem
par: Pacheco, Bruno Machado, et autres
Publié: (2023)

Deep Reinforcement Learning Optimization for Uncertain Nonlinear Systems via Event-Triggered Robust Adaptive Dynamic Programming
par: Bai, Ningwei, et autres
Publié: (2025)

Test-Time Search in Neural Graph Coarsening Procedures for the Capacitated Vehicle Routing Problem
par: Sim, Yoonju, et autres
Publié: (2025)

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

Knowledge Transfer based Evolutionary Deep Neural Network for Intelligent Fault Diagnosis
par: Sharma, Arun K., et autres
Publié: (2021)

Bridging Control with Neural Network Verifier alpha-beta-CROWN: A Tutorial
par: Li, Haoyu, et autres
Publié: (2026)