Learning Reliable Logical Rules with SATNet | Read Paper on Bytez