Learning Reliable Logical Rules with SATNet

Open in new window