PRover: Proof Generation for Interpretable Reasoning over Rules

6 October 2020

Papers citing "PRover: Proof Generation for Interpretable Reasoning over Rules"

7 / 57 papers shown

Title
ExplaGraphs: An Explanation Graph Generation Task for Structured Commonsense Reasoning Swarnadeep Saha Prateek Yadav Lisa Bauer Joey Tianyi Zhou LRM 44 56 0 15 Apr 2021
Explaining the Road Not Taken Hua Shen Ting-Hao 'Kenneth' Huang FAtt XAI 27 9 0 27 Mar 2021
Thinking Aloud: Dynamic Context Generation Improves Zero-Shot Reasoning Performance of GPT-2 Gregor Betz Kyle Richardson Christian Voigt ReLM LRM 21 30 0 24 Mar 2021
ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language Oyvind Tafjord Bhavana Dalvi Peter Clark 19 256 0 24 Dec 2020
Critical Thinking for Language Models Gregor Betz Christian Voigt Kyle Richardson SyDa ReLM LRM AI4CE 18 35 0 15 Sep 2020
e-SNLI: Natural Language Inference with Natural Language Explanations Oana-Maria Camburu Tim Rocktaschel Thomas Lukasiewicz Phil Blunsom LRM 260 620 0 04 Dec 2018
Towards A Rigorous Science of Interpretable Machine Learning Finale Doshi-Velez Been Kim XAI FaML 257 3,684 0 28 Feb 2017