SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver
Wang, Po-Wei and
Donti, Priya L. and
Wilder, Bryan and
Kolter, J. Zico
International Conference on Machine Learning - 2019
via Local Bibsonomy
Write your summary here (You can use $\LaTeX$ and
You must log in before you can submit this summary! Your draft will not be saved!
Summary by guest just now
ShortScience.org allows researchers to publish paper summaries that are voted on and ranked!