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


[link]
Summary by Hadrien Bertrand 5 years ago
Loading...
Your comment:


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

Sponsored by: