Techniques for Symbol Grounding with SATNet

16 June 2021

Papers citing "Techniques for Symbol Grounding with SATNet"

6 / 6 papers shown

Title
Simple and Effective Transfer Learning for Neuro-Symbolic Integration Alessandro Daniele Tommaso Campari Sagar Malhotra Luciano Serafini 27 1 0 21 Feb 2024
Learning Reliable Logical Rules with SATNet Zhaoyu Li Jinpei Guo Yuhe Jiang Xujie Si LRM NAI 27 2 0 03 Oct 2023
Learning to Solve Constraint Satisfaction Problems with Recurrent Transformer Zhun Yang Adam Ishay Joohyung Lee 35 9 0 10 Jul 2023
Learning Modulo Theories Matt Fredrikson Kaiji Lu Saranya Vijayakumar S. Jha Vijay Ganesh Zifan Wang NAI OffRL 43 0 0 26 Jan 2023
From Perception to Programs: Regularize, Overparameterize, and Amortize Hao Tang Kevin Ellis NAI 22 10 0 13 Jun 2022
Neurosymbolic AI: The 3rd Wave Artur Garcez Luís C. Lamb NAI 65 292 0 10 Dec 2020