multiPRover: Generating Multiple Proofs for Improved Interpretability in Rule Reasoning

2 June 2021

Papers citing "multiPRover: Generating Multiple Proofs for Improved Interpretability in Rule Reasoning"

21 / 21 papers shown

Title
P-FOLIO: Evaluating and Improving Logical Reasoning with Abundant Human-Written Reasoning Chains Simeng Han Aaron Yu Rui Shen Zhenting Qi Martin Riddell ... Yingbo Zhou Caiming Xiong Dragomir R. Radev Rex Ying Arman Cohan LRM 38 2 0 11 Oct 2024
A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference Mokanarangan Thayaparan Marco Valentino André Freitas 18 0 0 03 Apr 2024
Towards Generalizable and Faithful Logic Reasoning over Natural Language via Resolution Refutation Zhouhao Sun Xiao Ding LI DU Bibo Cai Jin-Fang Gao Ting Liu Bing Qin LRM ReLM 31 0 0 02 Apr 2024
RECKONING: Reasoning through Dynamic Knowledge Encoding Zeming Chen Gail Weiss E. Mitchell Asli Celikyilmaz Antoine Bosselut KELM LRM 16 11 0 10 May 2023
Natural Language Reasoning, A Survey Fei Yu Hongbo Zhang Prayag Tiwari Benyou Wang ReLM LRM 28 49 0 26 Mar 2023
Logical Reasoning over Natural Language as Knowledge Representation: A Survey Zonglin Yang Xinya Du Rui Mao Jinjie Ni Erik Cambria LRM ReLM 21 24 0 21 Mar 2023
MURMUR: Modular Multi-Step Reasoning for Semi-Structured Data-to-Text Generation Swarnadeep Saha Xinyan Velocity Yu Mohit Bansal Ramakanth Pasunuru Asli Celikyilmaz ReLM LRM 17 10 0 16 Dec 2022
ReasonChainQA: Text-based Complex Question Answering with Explainable Evidence Chains Minjun Zhu Yixuan Weng Shizhu He Kang Liu Jun Zhao LRM 11 6 0 17 Oct 2022
State-of-the-art generalisation research in NLP: A taxonomy and review Dieuwke Hupkes Mario Giulianelli Verna Dankers Mikel Artetxe Yanai Elazar ... Leila Khalatbari Maria Ryskina Rita Frieske Ryan Cotterell Zhijing Jin 106 92 0 06 Oct 2022
Summarization Programs: Interpretable Abstractive Summarization with Neural Modular Trees Swarnadeep Saha Shiyue Zhang Peter Hase Mohit Bansal 16 19 0 21 Sep 2022
Going Beyond Approximation: Encoding Constraints for Explainable Multi-hop Inference via Differentiable Combinatorial Solvers Mokanarangan Thayaparan Marco Valentino André Freitas 6 0 0 05 Aug 2022
METGEN: A Module-Based Entailment Tree Generation Framework for Answer Explanation Ruixin Hong Hongming Zhang Xintong Yu Changshui Zhang ReLM LRM 27 32 0 05 May 2022
Explanation Graph Generation via Pre-trained Language Models: An Empirical Study with Contrastive Learning Swarnadeep Saha Prateek Yadav Mohit Bansal 11 9 0 11 Apr 2022
AbductionRules: Training Transformers to Explain Unexpected Inputs Nathan Young Qiming Bao Joshua Bensemann Michael Witbrock AI4CE LRM 13 20 0 23 Mar 2022
FaiRR: Faithful and Robust Deductive Reasoning over Natural Language Soumya Sanyal Harman Singh Xiang Ren ReLM LRM 19 44 0 19 Mar 2022
Natural Language Deduction through Search over Statement Compositions Kaj Bostrom Zayne Sprague Swarat Chaudhuri Greg Durrett ReLM LRM 16 46 0 16 Jan 2022
DeepA2: A Modular Framework for Deep Argument Analysis with Pretrained Neural Text2Text Language Models Gregor Betz Kyle Richardson 17 8 0 04 Oct 2021
ProoFVer: Natural Logic Theorem Proving for Fact Verification Amrith Krishna Sebastian Riedel Andreas Vlachos 13 61 0 25 Aug 2021
ExplaGraphs: An Explanation Graph Generation Task for Structured Commonsense Reasoning Swarnadeep Saha Prateek Yadav Lisa Bauer Mohit Bansal LRM 30 56 0 15 Apr 2021
e-SNLI: Natural Language Inference with Natural Language Explanations Oana-Maria Camburu Tim Rocktaschel Thomas Lukasiewicz Phil Blunsom LRM 255 620 0 04 Dec 2018
Towards A Rigorous Science of Interpretable Machine Learning Finale Doshi-Velez Been Kim XAI FaML 225 3,672 0 28 Feb 2017