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"

32 / 32 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 156 5 0 16 Feb 2025
First return, then explore Adrien Ecoffet Joost Huizinga Joel Lehman Kenneth O. Stanley Jeff Clune 79 362 0 27 Apr 2020
Agent57: Outperforming the Atari Human Benchmark Adria Puigdomenech Badia Bilal Piot Steven Kapturowski Pablo Sprechmann Alex Vitvitskyi Daniel Guo Charles Blundell OffRL 77 519 0 30 Mar 2020
Deep Graph Matching via Blackbox Differentiation of Combinatorial Solvers Michal Rolínek Paul Swoboda Dominik Zietlow Anselm Paulus Vít Musil Georg Martius 58 113 0 25 Mar 2020
Turning 30: New Ideas in Inductive Logic Programming Andrew Cropper Sebastijan Dumancic Stephen Muggleton LRM AI4CE 84 83 0 25 Feb 2020
Fast Differentiable Sorting and Ranking Mathieu Blondel O. Teboul Quentin Berthet Josip Djolonga 184 232 0 20 Feb 2020
The Next Decade in AI: Four Steps Towards Robust Artificial Intelligence G. Marcus VLM 79 366 0 14 Feb 2020
Analyzing Differentiable Fuzzy Logic Operators Emile van Krieken Erman Acar F. V. Harmelen NAI AI4CE 96 134 0 14 Feb 2020
Solving Rubik's Cube with a Robot Hand OpenAI Ilge Akkaya Marcin Andrychowicz Maciek Chociej Ma-teusz Litwin ... Peter Welinder Lilian Weng Qiming Yuan Wojciech Zaremba Lei Zhang ODL 116 1,230 0 16 Oct 2019
Neural Probabilistic Logic Programming in DeepProbLog Robin Manhaeve Sebastijan Dumancic Angelika Kimmig T. Demeester Luc de Raedt NAI 97 559 0 18 Jul 2019
Reproducibility in Machine Learning for Health Matthew B. A. McDermott Shirly Wang N. Marinsek Rajesh Ranganath Marzyeh Ghassemi L. Foschini AI4TS 36 52 0 02 Jul 2019
SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver Po-Wei Wang P. Donti Bryan Wilder Zico Kolter LRM NAI 78 262 0 29 May 2019
A Hitchhiker's Guide to Statistical Comparisons of Reinforcement Learning Algorithms Cédric Colas Olivier Sigaud Pierre-Yves Oudeyer 40 64 0 15 Apr 2019
RAVEN: A Dataset for Relational and Analogical Visual rEasoNing Chi Zhang Feng Gao Baoxiong Jia Yixin Zhu Song-Chun Zhu AIMat 72 312 0 07 Mar 2019
Measuring abstract reasoning in neural networks David Barrett Felix Hill Adam Santoro Ari S. Morcos Timothy Lillicrap OOD 74 362 0 11 Jul 2018
DeepLogic: Towards End-to-End Differentiable Logical Reasoning Nuri Cingillioglu A. Russo NAI LRM 55 18 0 18 May 2018
Differentiable Submodular Maximization Sebastian Tschiatschek Aytunc Sahin Andreas Krause 50 45 0 05 Mar 2018
Learning a SAT Solver from Single-Bit Supervision Daniel Selsam Matthew Lamm Benedikt Bünz Percy Liang L. D. Moura D. Dill NAI 90 424 0 11 Feb 2018
Mastering Chess and Shogi by Self-Play with a General Reinforcement Learning Algorithm David Silver Thomas Hubert Julian Schrittwieser Ioannis Antonoglou Matthew Lai ... D. Kumaran T. Graepel Timothy Lillicrap Karen Simonyan Demis Hassabis 143 1,781 0 05 Dec 2017
Recurrent Relational Networks Rasmus Berg Palm Ulrich Paquet Ole Winther GNN ReLM NAI 100 139 0 21 Nov 2017
Learning Explanatory Rules from Noisy Data Richard Evans Edward Grefenstette 119 487 0 13 Nov 2017
The Microsoft 2017 Conversational Speech Recognition System Wayne Xiong Lingfeng Wu F. Alleva J. Droppo Xuedong Huang A. Stolcke 73 466 0 21 Aug 2017
A simple neural network module for relational reasoning Adam Santoro David Raposo David Barrett Mateusz Malinowski Razvan Pascanu Peter W. Battaglia Timothy Lillicrap GNN NAI 187 1,614 0 05 Jun 2017
End-to-End Differentiable Proving Tim Rocktaschel Sebastian Riedel NAI 104 381 0 31 May 2017
OptNet: Differentiable Optimization as a Layer in Neural Networks Brandon Amos J. Zico Kolter 163 971 0 01 Mar 2017
TensorLog: A Differentiable Deductive Database William W. Cohen 68 123 0 20 May 2016
Harnessing Deep Neural Networks with Logic Rules Zhiting Hu Xuezhe Ma Zhengzhong Liu Eduard H. Hovy Eric Xing AI4CE NAI 56 614 0 21 Mar 2016
Deep Residual Learning for Image Recognition Kaiming He Xinming Zhang Shaoqing Ren Jian Sun MedIm 2.2K 194,020 0 10 Dec 2015
Deep Speech 2: End-to-End Speech Recognition in English and Mandarin Dario Amodei Rishita Anubhai Eric Battenberg Carl Case Jared Casper ... Chong-Jun Wang Bo Xiao Dani Yogatama J. Zhan Zhenyao Zhu 137 2,974 0 08 Dec 2015
Lifted Relational Neural Networks Gustav Sourek Vojtech Aschenbrenner F. Železný Ondrej Kuzelka NAI 59 60 0 20 Aug 2015
Adam: A Method for Stochastic Optimization Diederik P. Kingma Jimmy Ba ODL 1.9K 150,260 0 22 Dec 2014
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 1.7K 39,547 0 01 Sep 2014