Login / Signup
SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver.
Po-Wei Wang
Priya L. Donti
Bryan Wilder
J. Zico Kolter
Published in:
CoRR (2019)
Keyphrases
</>
deep learning
logical reasoning
quantified boolean formulas
boolean formula
unsupervised learning
formal semantics
unsupervised feature learning
machine learning
satisfiability problem
mental models
weakly supervised
deep architectures
computer vision