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:
ICML (2019)
Keyphrases
</>
deep learning
logical reasoning
quantified boolean formulas
boolean formula
formal semantics
unsupervised learning
unsupervised feature learning
satisfiability problem
machine learning
mental models
weakly supervised
deep architectures
artificial intelligence
natural language
expert systems