Cover Image

Exact Verification of First-Order Methods via Mixed-Integer Linear Programming

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ranjan, Vinit, Park, Jisun, Gualandi, Stefano, Lodi, Andrea, Stellato, Bartolomeo
Format:	Preprint
Published:	2024
Subjects:	Optimization and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Data-driven Analysis of First-Order Methods via Distributionally Robust Optimization
by: Park, Jisun, et al.
Published: (2025)

Verification of First-Order Methods for Parametric Quadratic Optimization
by: Ranjan, Vinit, et al.
Published: (2024)

Distributionally-Robust Learning to Optimize
by: Ranjan, Vinit, et al.
Published: (2026)

Batched First-Order Methods for Parallel LP Solving in MIP
by: Blin, Nicolas, et al.
Published: (2026)

Conformal Prediction for Early Stopping in Mixed Integer Optimization
by: Clarke, Stefan, et al.
Published: (2026)

Learning-Based Hierarchical Approach for Fast Mixed-Integer Optimization
by: Clarke, Stefan, et al.
Published: (2025)

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

Fast Online Distributionally Robust Optimization via Data Compression
by: Wang, Irina, et al.
Published: (2025)

Learning Algorithm Hyperparameters for Fast Parametric Convex Optimization
by: Sambharya, Rajiv, et al.
Published: (2024)

Data-Driven Performance Guarantees for Classical and Learned Optimizers
by: Sambharya, Rajiv, et al.
Published: (2024)

Decomposition Methods for Global Solutions of Mixed-Integer Linear Programs
by: Sun, Kaizhao, et al.
Published: (2021)

Optimizing Weak Orders via Integer Linear Programming
by: Aledo, Juan A., et al.
Published: (2025)

First-Order Methods for Linear Programming
by: Lu, Haihao
Published: (2024)

Equitable Data-Driven Facility Location and Resource Allocation to Fight the Opioid Epidemic
by: Luo, Joyce, et al.
Published: (2023)

Who Plays First? Optimizing the Order of Play in Stackelberg Games with Many Robots
by: Hu, Haimin, et al.
Published: (2024)

A Mixed-Integer Linear Program to create the shifts in a supermarket
by: Gusmeroli, Nicolo, et al.
Published: (2024)

Graph Isomorphism: Mixed-Integer Convex Optimization from First-Order Methods
by: Xiao, Wenjie, et al.
Published: (2025)

Learning Decision-Focused Uncertainty Sets in Robust Optimization
by: Wang, Irina, et al.
Published: (2023)

GPU-friendly and Linearly Convergent First-order Methods for Certifying Optimal $k$-sparse GLMs
by: Liu, Jiachang, et al.
Published: (2026)

Bilevel Mixed-Integer Linear Program with Binary Tender
by: Zhou, Bo, et al.
Published: (2025)

Mixed-Integer Linear Programming Approximations for the Stochastic Knapsack
by: Rossi, Roberto, et al.
Published: (2025)

On the (linear) convergence of Generalized Newton Inexact ADMM
by: Frangella, Zachary, et al.
Published: (2023)

The Benefit of Uncertainty Coupling in Robust and Adaptive Robust Optimization
by: Bertsimas, Dimitris, et al.
Published: (2023)

Distributed Asynchronous Mixed-Integer Linear Programming with Feasibility Guarantees
by: Fina, Luke, et al.
Published: (2024)

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

Mean Robust Optimization
by: Wang, Irina, et al.
Published: (2022)

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

An Overview of GPU-based First-Order Methods for Linear Programming and Extensions
by: Lu, Haihao, et al.
Published: (2025)

Learning to Select Cutting Planes in Mixed Integer Linear Programming Solving
by: Zhang, Xuefeng, et al.
Published: (2024)

Exterior-point Optimization for Sparse and Low-rank Optimization
by: Gupta, Shuvomoy Das, et al.
Published: (2020)

GeNIOS: an (almost) second-order operator-splitting solver for large-scale convex optimization
by: Diamandis, Theo, et al.
Published: (2023)

PDLP: A Practical First-Order Method for Large-Scale Linear Programming
by: Applegate, David, et al.
Published: (2025)

Scalable First-order Method for Certifying Optimal k-Sparse GLMs
by: Liu, Jiachang, et al.
Published: (2025)

A neural network-based approach to hybrid systems identification for control
by: Fabiani, Filippo, et al.
Published: (2024)

Optimal Satellite Constellation Configuration Design: A Collection of Mixed Integer Linear Programs
by: Rogers, David O. Williams, et al.
Published: (2025)

Clique Probing for Mixed-Integer Programs
by: von Holly-Ponientzietz, Jacob, et al.
Published: (2025)

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

Mixed-Integer Reaggregated Hull Reformulation of Special Structured Generalized Linear Disjunctive Programs
by: Lee, Albert Joon, et al.
Published: (2026)

A Novel Mixed-Integer Linear Programming Formulation for Continuous-Time Inventory Routing
by: Wang, Akang, et al.
Published: (2023)

Computing Binary Integer Programming via A New Exact Penalty Function
by: Li, Shuai, et al.
Published: (2025)