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

Summary by Hadrien Bertrand 1 year ago
Your comment: allows researchers to publish paper summaries that are voted on and ranked!

Sponsored by: