Assessing SATNet's Ability to Solve the Symbol Grounding Problem

13 December 2023

Papers citing "Assessing SATNet's Ability to Solve the Symbol Grounding Problem"

5 / 5 papers shown

Title
Shortcuts and Identifiability in Concept-based Models from a Neuro-Symbolic Lens Samuele Bortolotti Emanuele Marconato Paolo Morettin Andrea Passerini Stefano Teso 53 2 0 16 Feb 2025
Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer Zhun Yang Adam Ishay Joohyung Lee 16 9 0 10 Jul 2023
Learning Modulo Theories Matt Fredrikson Kaiji Lu Saranya Vijayakumar S. Jha Vijay Ganesh Zifan Wang NAI OffRL 31 0 0 26 Jan 2023
From Perception to Programs: Regularize, Overparameterize, and Amortize Hao Tang Kevin Ellis NAI 16 10 0 13 Jun 2022
ImageNet Large Scale Visual Recognition Challenge Olga Russakovsky Jia Deng Hao Su J. Krause S. Satheesh ... A. Karpathy A. Khosla Michael S. Bernstein Alexander C. Berg Li Fei-Fei VLM ObjD 282 39,170 0 01 Sep 2014