Alert button

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

May 29, 2019
Po-Wei Wang, Priya L. Donti, Bryan Wilder, Zico Kolter

Figure 1 for SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver
Figure 2 for SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver
Figure 3 for SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver
Figure 4 for SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: