arXiv research

Quantum algorithm speeds up MIP solving by a near-quadratic factor.

A new Branch-and-Bound solver tackles L0-penalized problems with flexible loss functions.

Extends branch and bound for probabilistic neural network verification.

Paper uses RL to optimize branching strategy in B&B algorithms.

Branch-and-bound (BnB) algorithms are widely used to solve combinatorial problems, and the performance crucially depends on its branching heuristic.In this work, we consider a typical problem of maximum common subgraph (MCS), and propose a branching heuristic inspired from reinforcement learning with a goal of reaching…

A new algorithm optimizes Gaussian process posterior mean functions efficiently.

New method solves matrix completion problems to certifiable optimality.

New method learns better branching policies for MILP problems.

This paper extends the work in [Suzuki, 1996] and presents an efficient depth-first branch-and-bound algorithm for learning Bayesian network structures, based on the minimum description length (MDL) principle, for a given (consistent) variable ordering. The algorithm exhaustively searches through all network structures…

A GPU framework speeds up BnB for discrete optimization problems.

IBP-R improves verified adversarial robustness with simple, effective interval bound propagation.

New method speeds up solving L0-regularized least-squares problems.

There is no known efficient method for selecting k Gaussian features from n which achieve the lowest Bayesian classification error. We show an example of how greedy algorithms faced with this task are led to give results that are not optimal. This motivates us to propose a more robust approach. We present a Branch and …

Combinatorial optimization problems are typically tackled by the branch-and-bound paradigm. We propose a new graph convolutional neural network model for learning branch-and-bound variable selection policies, which leverages the natural variable-constraint bipartite graph representation of mixed-integer linear programs…

New method decomposes corrupted data matrices into sparse and low-rank components.

Improved neural network verification using Lagrangian decomposition and parallel algorithms.

New method speeds up model selection for complex scientific tasks.

Paper introduces methods to create fair and accurate regression models.

New MIP framework solves high-dimensional $\ell_0\ell_2$-regularized regression problems.

Paper solves optimal portfolio deleveraging with cross asset impacts.

Paper proposes a faster method for fuzzy neural networks by removing unsuitable hyperboxes.

ExDAG solves DAG learning problems with low structural Hamming distance.

The paper analyzes adversarial robustness of Gaussian processes.

New hybrid model reduces MILP solver time by up to 26%.

GLSearch uses GNN to learn efficient search strategies for finding large common subgraphs.

New algorithm solves complex variable selection problems in high dimensions.

New method for global optimization of Gaussian processes reduces computational time.

Estimates sparse Gaussian graphical models using discrete optimization.

The success of Deep Learning and its potential use in many safety-critical applications has motivated research on formal verification of Neural Network (NN) models. In this context, verification involves proving or disproving that an NN model satisfies certain input-output properties. Despite the reputation of learned …

This paper considers the problem of removing costly features from a Bayesian network classifier. We want the classifier to be robust to these changes, and maintain its classification behavior. To this end, we propose a closeness metric between Bayesian classifiers, called the expected classification agreement (ECA). Ou…

Many commonly used liquidity measures are based on snapshots of the state of the limit order book (LOB) and can thus only provide information about instantaneous liquidity, and not regarding the local liquidity regime. However, trading in the LOB is characterised by many intra-day liquidity shocks, where the LOB genera…

Optimizes cryptocurrency trading pairs for efficiency and decentralization.

Recently two search algorithms, A* and breadth-first branch and bound (BFBnB), were developed based on a simple admissible heuristic for learning Bayesian network structures that optimize a scoring function. The heuristic represents a relaxation of the learning problem such that each variable chooses optimal parents in…

Improved Compressed Sensing by optimizing sparse solutions with mixed integer programming.

Recently, there has been much interest in finding globally optimal Bayesian network structures. These techniques were developed for generative scores and can not be directly extended to discriminative scores, as desired for classification. In this paper, we propose an exact method for finding network structures maximiz…

This paper analyses the problem of Gaussian process (GP) bandits with deterministic observations. The analysis uses a branch and bound algorithm that is related to the UCB algorithm of (Srinivas et al., 2010). For GPs with Gaussian observation noise, with variance strictly greater than zero, (Srinivas et al., 2010) pro…

This paper analyzes the problem of Gaussian process (GP) bandits with deterministic observations. The analysis uses a branch and bound algorithm that is related to the UCB algorithm of (Srinivas et al, 2010). For GPs with Gaussian observation noise, with variance strictly greater than zero, Srinivas et al proved that t…

As the use of black-box models becomes ubiquitous in high stake decision-making systems, demands for fair and interpretable models are increasing. While it has been shown that interpretable models can be as accurate as black-box models in several critical domains, existing fair classification techniques that are interp…

The paper provides global optimization algorithms for two particularly difficult nonconvex problems raised by hybrid system identification: switching linear regression and bounded-error estimation. While most works focus on local optimization heuristics without global optimality guarantees or with guarantees valid only…

This paper presents a novel nonmyopic adaptive Gaussian process planning (GPP) framework endowed with a general class of Lipschitz continuous reward functions that can unify some active learning/sensing and Bayesian optimization criteria and offer practitioners some flexibility to specify their desired choices for defi…

Subset selection in multiple linear regression aims to choose a subset of candidate explanatory variables that tradeoff fitting error (explanatory power) and model complexity (number of variables selected). We build mathematical programming models for regression subset selection based on mean square and absolute errors…

We investigate adversarial robustness of Gaussian Process Classification (GPC) models. Given a compact subset of the input space $T\subseteq \mathbb{R}^d$ enclosing a test point $x^*$ and a GPC trained on a dataset $\mathcal{D}$, we aim to compute the minimum and the maximum classification probability for the GPC over …

Formal verification of neural networks is essential for their deployment in safety-critical areas. Many available formal verification methods have been shown to be instances of a unified Branch and Bound (BaB) formulation. We propose a novel framework for designing an effective branching strategy for BaB. Specifically,…

EKM solves the K-medoids problem in polynomial time.

A new framework for portfolio diversification is introduced which goes beyond the classical mean-variance approach and portfolio allocation strategies such as risk parity. It is based on a novel concept called portfolio dimensionality that connects diversification to the non-Gaussianity of portfolio returns and can typ…

ED-Filter improves eating disorder classification on Twitter.

In this report paper we first present a report of the Advanced Machine Learning Course Project on the provided data set and then present a novel heuristic algorithm for exact Bayesian network (BN) structure discovery that uses decomposable scoring functions. Our algorithm follows a different approach to solve the probl…

This paper presents a framework for exact discovery of the top-k sequential patterns under Leverage. It combines (1) a novel definition of the expected support for a sequential pattern - a concept on which most interestingness measures directly rely - with (2) SkOPUS: a new branch-and-bound algorithm for the exact disc…