Learning and Optimization of Blackbox Combinatorial Solvers in Neural Networks

06/06/2020
by   T. J. Wilder, et al.
0

The use of blackbox solvers inside neural networks is a relatively new area which aims to improve neural network performance by including proven, efficient solvers for complex problems. Existing work has created methods for learning networks with these solvers as components while treating them as a blackbox. This work attempts to improve upon existing techniques by optimizing not only over the primary loss function, but also over the performance of the solver itself by using Time-cost Regularization. Additionally, we propose a method to learn blackbox parameters such as which blackbox solver to use or the heuristic function for a particular solver. We do this by introducing the idea of a hyper-blackbox which is a blackbox around one or more internal blackboxes.

READ FULL TEXT
research
09/26/2019

Improving SAT Solver Heuristics with Graph Networks and Reinforcement Learning

We present GQSAT, a branching heuristic in a Boolean SAT solver trained ...
research
09/07/2021

Sensitive Samples Revisited: Detecting Neural Network Attacks Using Constraint Solvers

Neural Networks are used today in numerous security- and safety-relevant...
research
11/08/2022

A deep solver for BSDEs with jumps

The aim of this work is to propose an extension of the Deep BSDE solver ...
research
07/27/2023

EnSolver: Uncertainty-Aware CAPTCHA Solver Using Deep Ensembles

The popularity of text-based CAPTCHA as a security mechanism to protect ...
research
05/30/2022

Gradient Backpropagation Through Combinatorial Algorithms: Identity with Projection Works

Embedding discrete solvers as differentiable layers has given modern dee...
research
08/24/2020

Local error quantification for efficient neural network dynamical system solvers

Neural Networks have been identified as potentially powerful tools for t...
research
02/17/2022

On the evaluation of (meta-)solver approaches

Meta-solver approaches exploits a number of individual solvers to potent...

Please sign up or login with your details

Forgot password? Click here to reset