TY - RPRT TI - Assessing SATNet's Ability to Solve the Symbol Grounding Problem AU - Oscar Chang AU - Lampros Flokas AU - Hod Lipson AU - Michael Spranger PY - 2023 UR - https://arxiv.org/abs/2312.11522 ID - 2312.11522 ER -