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

proceedings.mlr.press
scholar.google.com

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
Keywords: dblp

Summaries/Notes 1

Write your summary here (You can use $\LaTeX$ and markdown syntax):

Anon Private

ShortScience.org allows researchers to publish paper summaries that are voted on and ranked!
About

Sponsored by: