Assessing SATNet's Ability to Solve the Symbol Grounding Problem