Cover Image

Taming Binarized Neural Networks and Mixed-Integer Programs

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Aspman, Johannes, Korpas, Georgios, Marecek, Jakub
Format:	Preprint
Published:	2023
Subjects:	Machine Learning Artificial Intelligence Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Piecewise Polynomial Regression of Tame Functions via Integer Programming
by: Bareilles, Gilles, et al.
Published: (2023)

Deep Learning as the Disciplined Construction of Tame Objects
by: Bareilles, Gilles, et al.
Published: (2025)

Intersectional Fairness via Mixed-Integer Optimization
by: Němeček, Jiří, et al.
Published: (2026)

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

Identifiability of Autonomous and Controlled Open Quantum Systems
by: Parvaiz, Waqas, et al.
Published: (2025)

Generating Likely Counterfactuals Using Sum-Product Networks
by: Nemecek, Jiri, et al.
Published: (2024)

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

Improving the Validity of Decision Trees as Explanations
by: Nemecek, Jiri, et al.
Published: (2023)

Tame Riemannian Stochastic Approximation
by: Aspman, Johannes, et al.
Published: (2023)

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)

Quantum open system identification via global optimization: Optimally accurate Markovian models of open systems from time-series data
by: Popovych, Zakhar, et al.
Published: (2022)

Joint Problems in Learning Multiple Dynamical Systems
by: Niu, Mengjia, et al.
Published: (2023)

Toward TransfORmers: Revolutionizing the Solution of Mixed Integer Programs with Transformers
by: Cooper, Joshua F., 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)

Inverse Mixed-Integer Programming: Learning Constraints then Objective Functions
by: Kitaoka, Akira
Published: (2025)

ExDBN: Learning Dynamic Bayesian Networks using Extended Mixed-Integer Programming Formulations
by: Rytir, Pavel, et al.
Published: (2024)

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

Group-blind optimal transport to group parity and its constrained variants
by: Zhou, Quan, et al.
Published: (2023)

Learning of Linear Dynamical Systems as a Non-Commutative Polynomial Optimization Problem
by: Zhou, Quan, et al.
Published: (2020)

Parallel variational quantum algorithms with gradient-informed restart to speed up optimisation in the presence of barren plateaus
by: Mastropietro, Daniel, et al.
Published: (2023)

Deep Learning for Two-Stage Robust Integer Optimization
by: Dumouchelle, Justin, et al.
Published: (2023)

FMIP: Joint Continuous-Integer Flow For Mixed-Integer Linear Programming
by: Li, Hongpei, et al.
Published: (2025)

Discovering Heuristics with Large Language Models (LLMs) for Mixed-Integer Programs: Single-Machine Scheduling
by: Çetinkaya, İbrahim Oğuz, et al.
Published: (2025)

Trilevel and Multilevel Optimization using Monotone Operator Theory
by: Shafiei, Allahkaram, et al.
Published: (2021)

Benchmarking Stochastic Approximation Algorithms for Fairness-Constrained Training of Deep Neural Networks
by: Kliachkin, Andrii, et al.
Published: (2025)

Binarizing Physics-Inspired GNNs for Combinatorial Optimization
by: Krutský, Martin, et al.
Published: (2025)

Resource Allocation with Population Dynamics
by: Epperlein, Jonathan, et al.
Published: (2016)

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

Iteration Complexity of Variational Quantum Algorithms
by: Kungurtsev, Vyacheslav, et al.
Published: (2022)

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

Bayesian Optimization for Hyperparameters Tuning in Neural Networks
by: Onorato, Gabriele
Published: (2024)

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

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

Learning quantum Hamiltonians at any temperature in polynomial time with Chebyshev and bit complexity
by: Wodecki, Ales, et al.
Published: (2024)

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

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

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

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

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