Neural-Symbolic Integration: A Compositional Perspective

22 October 2020

Papers citing "Neural-Symbolic Integration: A Compositional Perspective"

19 / 19 papers shown

Title
NeurASP: Embracing Neural Networks into Answer Set Programming Zhun Yang Adam Ishay Joohyung Lee NAI 113 156 0 15 Jul 2023
DRUM: End-To-End Differentiable Rule Mining On Knowledge Graphs A. Sadeghian Mohammadreza Armandpour P. Ding D. Wang 53 310 0 31 Oct 2019
Semi-Supervised Learning using Differentiable Reasoning Emile van Krieken Erman Acar F. V. Harmelen DRL 33 21 0 13 Aug 2019
Neural Probabilistic Logic Programming in DeepProbLog Robin Manhaeve Sebastijan Dumancic Angelika Kimmig T. Demeester Luc de Raedt NAI 55 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 50 262 0 29 May 2019
Neural Logic Machines Honghua Dong Jiayuan Mao Tian Lin Chong-Jun Wang Lihong Li Denny Zhou NAI LRM AI4CE 99 249 0 26 Apr 2019
Integrating Learning and Reasoning with Deep Logic Models G. Marra Francesco Giannini Michelangelo Diligenti Marco Gori NAI 52 57 0 14 Jan 2019
Open Domain Question Answering Using Early Fusion of Knowledge Bases and Text Haitian Sun Bhuwan Dhingra Manzil Zaheer Kathryn Mazaitis Ruslan Salakhutdinov William W. Cohen 54 412 0 04 Sep 2018
Neural-Guided Deductive Search for Real-Time Program Synthesis from Examples Ashwin J. Vijayakumar Abhishek Mohta Oleksandr Polozov Dhruv Batra Prateek Jain Sumit Gulwani NAI 80 164 0 03 Apr 2018
A Semantic Loss Function for Deep Learning with Symbolic Knowledge Jingyi Xu Zilu Zhang Tal Friedman Yitao Liang Guy Van den Broeck 76 447 0 29 Nov 2017
Learning Explanatory Rules from Noisy Data Richard Evans Edward Grefenstette 101 482 0 13 Nov 2017
End-to-End Differentiable Proving Tim Rocktaschel Sebastian Riedel NAI 78 381 0 31 May 2017
Logic Tensor Networks for Semantic Image Interpretation Ivan Donadello Luciano Serafini Artur Garcez 71 210 0 24 May 2017
The HASYv2 dataset Martin Thoma VLM 35 36 0 29 Jan 2017
Differentiable Programs with Neural Libraries Alexander L. Gaunt Marc Brockschmidt Nate Kushman Daniel Tarlow 59 72 0 07 Nov 2016
DeepCoder: Learning to Write Programs Matej Balog Alexander L. Gaunt Marc Brockschmidt Sebastian Nowozin Daniel Tarlow AIMat NAI 60 570 0 07 Nov 2016
Neuro-Symbolic Program Synthesis Emilio Parisotto Abdel-rahman Mohamed Rishabh Singh Lihong Li Dengyong Zhou Pushmeet Kohli NAI 81 322 0 06 Nov 2016
Programming with a Differentiable Forth Interpreter Matko Bosnjak Tim Rocktaschel Jason Naradowsky Sebastian Riedel 37 148 0 21 May 2016
Lifted Relational Neural Networks Gustav Sourek Vojtech Aschenbrenner F. Železný Ondrej Kuzelka NAI 33 60 0 20 Aug 2015