2019
SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver
ICML 2019oral
Integrating logical reasoning within deep learning architectures has been a major goal of modern AI systems. In this paper, we propose a new direction toward this goal by introducing a differentiable (smoothed) maximum satisfiability (MAXSAT) solver that can be integrated into the loop of larger dee…