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 91 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 51 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 44 11 0 07 May 2021
Neural-Symbolic Integration: A Compositional Perspective Efthymia Tsamoura Loizos Michael NAI 48 69 0 22 Oct 2020
DRUM: End-To-End Differentiable Rule Mining On Knowledge Graphs A. Sadeghian Mohammadreza Armandpour P. Ding D. Wang 40 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 35 262 0 29 May 2019
Neural Logic Machines Honghua Dong Jiayuan Mao Tian Lin Chong-Jun Wang Lihong Li Denny Zhou NAI LRM AI4CE 86 249 0 26 Apr 2019
Learning Explanatory Rules from Noisy Data Richard Evans Edward Grefenstette 85 482 0 13 Nov 2017
OptNet: Differentiable Optimization as a Layer in Neural Networks Brandon Amos J. Zico Kolter 105 952 0 01 Mar 2017

We use cookies and other tracking technologies to improve your browsing experience on our website, to show you personalized content and targeted ads, to analyze our website traffic, and to understand where our visitors are coming from. See our policy.