Learning Reasoning Strategies in End-to-End Differentiable Proving

13 July 2020

Papers citing "Learning Reasoning Strategies in End-to-End Differentiable Proving"

21 / 21 papers shown

Title
Benchmarking Systematic Relational Reasoning with Large Language and Reasoning Models Irtaza Khalid Amir Masoud Nourollah Steven Schockaert LRM 40 0 0 30 Mar 2025
Large Language Model-Enhanced Symbolic Reasoning for Knowledge Base Completion Qiyuan He Jianfei Yu Wenya Wang LRM 29 0 0 03 Jan 2025
Dolphin: A Programmable Framework for Scalable Neurosymbolic Learning Aaditya Naik Jason Liu Claire Wang Saikat Dutta Mayur Naik Mayur Naik Eric Wong 26 1 0 04 Oct 2024
Disentangling Extraction and Reasoning in Multi-hop Spatial Reasoning Roshanak Mirzaee Parisa Kordjamshidi LRM 21 7 0 25 Oct 2023
Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text Zhun Yang Adam Ishay Joohyung Lee LRM ELM 30 50 0 15 Jul 2023
Learning Differentiable Logic Programs for Abstract Visual Reasoning Hikaru Shindo Viktor Pfanschilling D. Dhami Kristian Kersting NAI 29 6 0 03 Jul 2023
Towards Unbiased Exploration in Partial Label Learning Zsolt Zombori Agapi Rissaki Kristóf Szabó Wolfgang Gatterbauer Michael Benedikt SSL UQCV 19 1 0 02 Jul 2023
Scallop: A Language for Neurosymbolic Programming Ziyang Li Jiani Huang Mayur Naik ReLM LRM NAI 18 30 0 10 Apr 2023
A Noise-tolerant Differentiable Learning Approach for Single Occurrence Regular Expression with Interleaving Rongzhen Ye Tianqu Zhuang Hai Wan Jianfeng Du Weilin Luo Pingjia Liang 11 2 0 01 Dec 2022
Instance-based Learning for Knowledge Base Completion Wanyun Cui Xingran Chen 22 7 0 13 Nov 2022
A Survey of Trustworthy Graph Learning: Reliability, Explainability, and Privacy Protection Bingzhe Wu Jintang Li Junchi Yu Yatao Bian Hengtong Zhang ... Guangyu Sun Peng Cui Zibin Zheng Zhe Liu P. Zhao OOD 25 25 0 20 May 2022
Neural Theorem Provers Delineating Search Area Using RNN Yu-hao Wu Hou-Biao Li LRM 25 1 0 14 Mar 2022
VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming Eleonora Misino G. Marra Emanuele Sansone 18 21 0 07 Feb 2022
A Critical Review of Inductive Logic Programming Techniques for Explainable AI Zheng Zhang Liangliang Xu L. Yilmaz Bo Liu 20 7 0 31 Dec 2021
Systematic Generalization with Edge Transformers Leon Bergen Timothy J. O'Donnell Dzmitry Bahdanau 10 46 0 01 Dec 2021
Relational Reasoning Networks G. Marra Michelangelo Diligenti Francesco Giannini NAI 29 4 0 01 Jun 2021
Is Multi-Hop Reasoning Really Explainable? Towards Benchmarking Reasoning Interpretability Xin Lv Yixin Cao Lei Hou Juan-Zi Li Zhiyuan Liu Yichi Zhang Zelin Dai LRM 21 19 0 14 Apr 2021
Logic Tensor Networks for Semantic Image Interpretation Ivan Donadello Luciano Serafini Artur Garcez 56 209 0 24 May 2017
Towards A Rigorous Science of Interpretable Machine Learning Finale Doshi-Velez Been Kim XAI FaML 251 3,683 0 28 Feb 2017
Effective Approaches to Attention-based Neural Machine Translation Thang Luong Hieu H. Pham Christopher D. Manning 218 7,923 0 17 Aug 2015
Convolutional Neural Networks for Sentence Classification Yoon Kim AILaw VLM 255 13,364 0 25 Aug 2014