School of Computing and Kim Jaechul Graduate School of AI, KAIST, Discrete Mathematics Group, Institute for Basic Science (IBS), Daejeon, South Korea; School of Computing, KAIST, Daejeon, South Korea; Graduate School of Information Security, KAIST, Daejeon, South Korea
Sangho Lim, Eun-Gyeol Oh, Hongseok Yang
group equivariance;deep learning;MAXSAT;SATNet
Learning Symmetric Rules with SATNet