Learning Reliable Logical Rules with SATNet

Zhaoyu Li, Jinpei Guo, Yuhe Jiang +1

Bridging logical reasoning and deep learning is crucial for advanced AI systems. In this work, we present a new framework that addresses this goal by generating interpretable and v…