Learning Symmetric Rules with SATNet. - Sangho Lim; Eun-Gyeol Oh; Hongseok Yang (NeurIPS, 2022)