Learning Reliable Logical Rules with SATNet

Learning Reliable Logical Rules with SATNet

3 October 2023

Papers citing "Learning Reliable Logical Rules with SATNet"

11 / 11 papers shown

Title
LogiCity: Advancing Neuro-Symbolic AI with Abstract Urban Simulation Bowen Li Zhaoyu Li Qiwei Du Jinqi Luo Wenshan Wang ... Katia Sycara Pradeep Kumar Ravikumar Alexander G. Gray X. Si Sebastian A. Scherer AI4CE LRM 94 3 0 01 Nov 2024
Learning Symmetric Rules with SATNet S. Lim Eun-Gyeol Oh Hongseok Yang AAML 51 3 0 28 Jun 2022
Techniques for Symbol Grounding with SATNet Sever Topan David Rolnick X. Si NAI 56 23 0 16 Jun 2021
Diff-Explainer: Differentiable Convex Optimization for Explainable Multi-hop Inference Mokanarangan Thayaparan Marco Valentino Deborah Ferreira Julia Rozanova André Freitas 50 11 0 07 May 2021
Neural-Symbolic Integration: A Compositional Perspective Efthymia Tsamoura Loizos Michael NAI 51 69 0 22 Oct 2020
DRUM: End-To-End Differentiable Rule Mining On Knowledge Graphs A. Sadeghian Mohammadreza Armandpour P. Ding D. Wang 44 310 0 31 Oct 2019
Neural Probabilistic Logic Programming in DeepProbLog Robin Manhaeve Sebastijan Dumancic Angelika Kimmig T. Demeester Luc de Raedt NAI 48 550 0 18 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 39 262 0 29 May 2019
Neural Logic Machines Honghua Dong Jiayuan Mao Tian Lin Chong-Jun Wang Lihong Li Denny Zhou NAI LRM AI4CE 97 249 0 26 Apr 2019
Learning Explanatory Rules from Noisy Data Richard Evans Edward Grefenstette 89 482 0 13 Nov 2017
OptNet: Differentiable Optimization as a Layer in Neural Networks Brandon Amos J. Zico Kolter 117 952 0 01 Mar 2017