Learning Reasoning Strategies in End-to-End Differentiable Proving

Learning Reasoning Strategies in End-to-End Differentiable Proving

13 July 2020

Pasquale Minervini

Sebastian Riedel

Pontus Stenetorp

Edward Grefenstette

Tim Rocktaschel

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

15 / 15 papers shown

Title
Benchmarking Systematic Relational Reasoning with Large Language and Reasoning Models Irtaza Khalid Amir Masoud Nourollah Steven Schockaert LRM 38 0 0 30 Mar 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
Coupling Large Language Models with Logic Programming for Robust and General Reasoning from Text Zhun Yang Adam Ishay Joohyung Lee LRM ELM 21 50 0 15 Jul 2023
Learning Differentiable Logic Programs for Abstract Visual Reasoning Hikaru Shindo Viktor Pfanschilling D. Dhami Kristian Kersting NAI 19 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
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 6 2 0 01 Dec 2022
VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming Eleonora Misino G. Marra Emanuele Sansone 16 21 0 07 Feb 2022
A Critical Review of Inductive Logic Programming Techniques for Explainable AI Zheng Zhang Liangliang Xu L. Yilmaz Bo Liu 16 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 24 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 10 19 0 14 Apr 2021
Logic Tensor Networks for Semantic Image Interpretation Ivan Donadello Luciano Serafini Artur Garcez 54 209 0 24 May 2017
Towards A Rigorous Science of Interpretable Machine Learning Finale Doshi-Velez Been Kim XAI FaML 225 3,658 0 28 Feb 2017
Effective Approaches to Attention-based Neural Machine Translation Thang Luong Hieu H. Pham Christopher D. Manning 214 7,915 0 17 Aug 2015
Convolutional Neural Networks for Sentence Classification Yoon Kim AILaw VLM 250 13,283 0 25 Aug 2014