Techniques for Symbol Grounding with SATNet - Topan, Sever; Rolnick, David; Si, Xujie (Advances in Neural Information Processing Systems, 2021)