End-to-End Differentiable Proving

31 May 2017

Papers citing "End-to-End Differentiable Proving"

50 / 94 papers shown

Title
Logic-RAG: Augmenting Large Multimodal Models with Visual-Spatial Knowledge for Road Scene Understanding Imran Kabir Md. Alimoor Reza Syed Masum Billah ReLM VLM LRM 88 0 0 16 Mar 2025
Large Language Model-Enhanced Symbolic Reasoning for Knowledge Base Completion Qiyuan He Jianfei Yu Wenya Wang LRM 36 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 44 1 0 04 Oct 2024
Knowledge Graph Reasoning with Self-supervised Reinforcement Learning Ying Ma Owen Burns Mingqiu Wang Gang Li Nan Du Laurent El Shafey Liqiang Wang Izhak Shafran H. Soltau SSL ReLM OffRL LRM 56 0 0 22 May 2024
TILP: Differentiable Learning of Temporal Logical Rules on Knowledge Graphs Siheng Xiong Yuan Yang Faramarz Fekri J. C. Kerce 46 50 0 19 Feb 2024
Neural-Logic Human-Object Interaction Detection Liulei Li Jianan Wei Wenguan Wang Yi Yang 53 16 0 16 Nov 2023
Large Language Models can Learn Rules Zhaocheng Zhu Yuan Xue Xinyun Chen Denny Zhou Jian Tang Dale Schuurmans Hanjun Dai LRM ReLM 46 63 0 10 Oct 2023
Learning Reliable Logical Rules with SATNet Zhaoyu Li Jinpei Guo Yuhe Jiang Xujie Si LRM NAI 34 2 0 03 Oct 2023
Efficient Learning of Discrete-Continuous Computation Graphs David Friede Mathias Niepert 18 3 0 26 Jul 2023
Learning Differentiable Logic Programs for Abstract Visual Reasoning Hikaru Shindo Viktor Pfanschilling Devendra Singh Dhami Kristian Kersting NAI 39 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 41 1 0 02 Jul 2023
On the Correspondence Between Monotonic Max-Sum GNNs and Datalog David Tena Cucala Bernardo Cuenca Grau B. Motik Egor V. Kostylev 43 8 0 29 May 2023
Improved Logical Reasoning of Language Models via Differentiable Symbolic Programming Hanlin Zhang Jiani Huang Ziyang Li Mayur Naik Eric P. Xing ReLM LRM 35 28 0 05 May 2023
Neural Probabilistic Logic Programming in Discrete-Continuous Domains Lennert De Smet Pedro Zuidberg Dos Martires Robin Manhaeve G. Marra Angelika Kimmig Luc de Raedt NAI 24 20 0 08 Mar 2023
Sequential Query Encoding For Complex Query Answering on Knowledge Graphs Jiaxin Bai Tianshi Zheng Yangqiu Song 29 13 0 25 Feb 2023
Evaluating Step-by-Step Reasoning through Symbolic Verification Yi-Fan Zhang Hanlin Zhang Li Erran Li Eric P. Xing ReLM LRM 24 8 0 16 Dec 2022
A Survey of Knowledge Graph Reasoning on Graph Types: Static, Dynamic, and Multimodal K. Liang Lingyuan Meng Meng Liu Yue Liu Wenxuan Tu Siwei Wang Sihang Zhou Xinwang Liu Fu Sun LRM 39 110 0 12 Dec 2022
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 19 2 0 01 Dec 2022
Neural Meta-Symbolic Reasoning and Learning Zihan Ye Hikaru Shindo Devendra Singh Dhami Kristian Kersting NAI LRM 28 1 0 21 Nov 2022
Proceedings of the 2nd Workshop on Logic and Practice of Programming (LPOP) D. Warren P. V. Roy Yanhong A. Liu LRM 23 0 0 17 Nov 2022
Neural-Symbolic Recursive Machine for Systematic Generalization Qing Li Yixin Zhu Yitao Liang Ying Nian Wu Song-Chun Zhu Siyuan Huang NAI 45 9 0 04 Oct 2022
Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought Abulhair Saparov He He ELM LRM ReLM 123 285 0 03 Oct 2022
Structured Q-learning For Antibody Design Alexander I. Cowen-Rivers P. Gorinski Aivar Sootla Asif R. Khan Liu Furui Jun Wang Jan Peters H. Ammar OffRL OnRL 37 3 0 10 Sep 2022
Deep Symbolic Learning: Discovering Symbols and Rules from Perceptions Alessandro Daniele Tommaso Campari Sagar Malhotra Luciano Serafini NAI 26 19 0 24 Aug 2022
Multi-Step Deductive Reasoning Over Natural Language: An Empirical Study on Out-of-Distribution Generalisation Qiming Bao A. Peng Tim Hartill N. Tan Zhenyun Deng Michael Witbrock Jiamou Liu ReLM OOD NAI LRM 39 13 0 28 Jul 2022
Explainable Sparse Knowledge Graph Completion via High-order Graph Reasoning Network Weijia Chen Yixin Cao Fuli Feng Xiangnan He Yongdong Zhang 13 2 0 14 Jul 2022
NeuPSL: Neural Probabilistic Soft Logic Connor Pryor Charles Dickens Eriq Augustine Alon Albalak William Wang Lise Getoor NAI 24 33 0 27 May 2022
Region-Based Merging of Open-Domain Terminological Knowledge Zied Bouraoui S. Konieczny Thanh Ma Nicolas Schwind I. Varzinczak 17 2 0 05 May 2022
FaiRR: Faithful and Robust Deductive Reasoning over Natural Language Soumya Sanyal Harman Singh Xiang Ren ReLM LRM 34 45 0 19 Mar 2022
Neural Theorem Provers Delineating Search Area Using RNN Yu-hao Wu Hou-Biao Li LRM 33 1 0 14 Mar 2022
Neuro-symbolic Natural Logic with Introspective Revision for Natural Language Inference Yufei Feng Xiaoyu Yang Xiao-Dan Zhu Michael A. Greenspan LRM NAI 55 11 0 09 Mar 2022
Selection Strategies for Commonsense Knowledge C. Schon 27 3 0 18 Feb 2022
HAKE: A Knowledge Engine Foundation for Human Activity Understanding Yong-Lu Li Xinpeng Liu Xiaoqian Wu Yizhuo Li Zuoyu Qiu Liang Xu Yue Xu Haoshu Fang Cewu Lu 32 38 0 14 Feb 2022
HEAT: Hyperedge Attention Networks Dobrik Georgiev Marc Brockschmidt Miltiadis Allamanis GNN 32 16 0 28 Jan 2022
Epistemic AI platform accelerates innovation by connecting biomedical knowledge Emily Koo H. Bowling K. Ashworth D. Heeger Stefano Pacifico 25 1 0 27 Jan 2022
A Critical Review of Inductive Logic Programming Techniques for Explainable AI Zheng Zhang Liangliang Xu L. Yilmaz Bo Liu 36 7 0 31 Dec 2021
Neuro-Symbolic Hierarchical Rule Induction Claire Glanois Xuening Feng Zhaohui Jiang Paul Weng Matthieu Zimmer Dong Li Wulong Liu NAI 36 23 0 26 Dec 2021
Neuro-Symbolic Inductive Logic Programming with Logical Neural Networks Prithviraj Sen B. W. Carvalho Ryan Riegel Alexander G. Gray NAI AI4CE 83 54 0 06 Dec 2021
Systematic Generalization with Edge Transformers Leon Bergen Timothy J. O'Donnell Dzmitry Bahdanau 28 46 0 01 Dec 2021
Explainable Biomedical Recommendations via Reinforcement Learning Reasoning on Knowledge Graphs G. Edwards Sebastian Nilsson Benedek Rozemberczki Eliseo Papa 23 12 0 20 Nov 2021
Neuro-Symbolic Forward Reasoning Hikaru Shindo Devendra Singh Dhami Kristian Kersting NAI LRM 40 22 0 18 Oct 2021
Neural Unification for Logic Reasoning over Natural Language Gabriele Picco Hoang Thanh Lam M. Sbodio Vanessa Lopez Garcia NAI LRM 25 13 0 17 Sep 2021
DeepStochLog: Neural Stochastic Logic Programming Thomas Winters G. Marra Robin Manhaeve Luc de Raedt BDL NAI 37 63 0 23 Jun 2021
Interpretable Model-based Hierarchical Reinforcement Learning using Inductive Logic Programming Duo Xu Faramarz Fekri 27 10 0 21 Jun 2021
Relational Reasoning Networks G. Marra Michelangelo Diligenti Francesco Giannini NAI 41 4 0 01 Jun 2021
RotLSTM: Rotating Memories in Recurrent Neural Networks Vlad Velici Adam Prugel-Bennett RALM VLM 30 1 0 01 May 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 23 19 0 14 Apr 2021
Neural Network for Weighted Signal Temporal Logic Ruixuan Yan A. Julius AI4TS 30 10 0 08 Apr 2021
Differentiable Inductive Logic Programming for Structured Examples Hikaru Shindo Masaaki Nishino Akihiro Yamamoto NAI 53 29 0 02 Mar 2021
Modular Design Patterns for Hybrid Learning and Reasoning Systems: a taxonomy, patterns and use cases M. V. Bekkum M. D. Boer F. V. Harmelen André Meyer-Vitali A. T. Teije 33 69 0 23 Feb 2021