8 papers
Cutting Planes for Binarized Network Flow Problems
Pierre Bonami, Sanjeeb Dash, Anton Derkach +1
We consider integer programming problems with bounded general-integer variables belonging to the general class of network flow problems. For those, we computationally investigate t…
GPU-friendly and Linearly Convergent First-order Methods for Certifying Optimal -sparse GLMs
Jiachang Liu, Andrea Lodi, Soroosh Shafiee
We investigate the problem of certifying optimality for sparse generalized linear models (GLMs), where sparsity is enforced through a cardinality constraint. While Branch-and-Bound…
SMiLE: Provably Enforcing Global Relational Properties in Neural Networks
Matteo Francobaldi, Michele Lombardi, Andrea Lodi
Artificial Intelligence systems are increasingly deployed in settings where ensuring robustness, fairness, or domain-specific properties is essential for regulation compliance and…
Electric Vehicle Scheduling and Vehicle-to-Grid Integration in Microgrids
Nathan Cho, Andrea Lodi, Anna Scaglione
The logistical challenges and high costs associated with procuring and transporting fuel to remote military bases underscore the need for sustainable and resilient energy solutions…
Scalable First-order Method for Certifying Optimal k-Sparse GLMs
Jiachang Liu, Soroosh Shafiee, Andrea Lodi
This paper investigates the problem of certifying optimality for sparse generalized linear models (GLMs), where sparsity is enforced through an cardinality constraint. Whi…
How hard is learning to cut? Trade-offs and sample complexity
Sammy Khalife, Andrea Lodi
In the recent years, branch-and-cut algorithms have been the target of data-driven approaches designed to enhance the decision making in different phases of the algorithm such as b…