Learning Symmetric Rules with SATNet