SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver.

Po-Wei Wang, Priya L. Donti, Bryan Wilder, J. Zico Kolter

Browse the full ICML paper archive.