Assessing SATNet extquotesingle s Ability to Solve the Symbol Grounding Problem - Chang, Oscar; Flokas, Lampros; Lipson, Hod; Spranger, Michael (Advances in Neural Information Processing Systems, 2020)