PRover: Proof Generation for Interpretable Reasoning over Rules

6 October 2020

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

50 / 57 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 43 2 0 11 Oct 2024
A Survey on Symbolic Knowledge Distillation of Large Language Models Kamal Acharya Alvaro Velasquez H. Song SyDa 44 5 0 12 Jul 2024
A Survey on Deep Learning for Theorem Proving Zhaoyu Li Jialiang Sun Logan Murphy Qidong Su Zenan Li Xian Zhang Kaiyu Yang Xujie Si LRM 50 21 0 15 Apr 2024
A Differentiable Integer Linear Programming Solver for Explanation-Based Natural Language Inference Mokanarangan Thayaparan Marco Valentino André Freitas 23 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 34 0 0 02 Apr 2024
SEER: Facilitating Structured Reasoning and Explanation via Reinforcement Learning Guoxin Chen Kexin Tang Chao Yang Fuying Ye Yu Qiao Yiming Qian LRM 18 3 0 24 Jan 2024
Formal Proofs as Structured Explanations: Proposing Several Tasks on Explainable Natural Language Inference Lasha Abzianidze LRM XAI 15 0 0 15 Nov 2023
Are LLMs Rigorous Logical Reasoner? Empowering Natural Language Proof Generation with Contrastive Stepwise Decoding Ying Su Xiaojin Fu Mingwen Liu Zhijiang Guo LRM 38 3 0 12 Nov 2023
GLoRE: Evaluating Logical Reasoning of Large Language Models Hanmeng Liu Zhiyang Teng Ruoxi Ning Jian Liu Qiji Zhou Yuexin Zhang Yue Zhang ReLM ELM LRM 70 8 0 13 Oct 2023
Towards LogiGLUE: A Brief Survey and A Benchmark for Analyzing Logical Reasoning Capabilities of Language Models Man Luo Shrinidhi Kumbhar Ming shen Mihir Parmar Neeraj Varshney Pratyay Banerjee Somak Aditya Chitta Baral ReLM ELM LRM 45 25 0 02 Oct 2023
Dynamic MOdularized Reasoning for Compositional Structured Explanation Generation Xiyan Fu Anette Frank LRM 25 1 0 14 Sep 2023
Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic Terufumi Morishita Gaku Morio Atsuki Yamaguchi Yasuhiro Sogawa ReLM LRM AI4CE ELM 29 22 0 11 Aug 2023
A Comprehensive Survey on Applications of Transformers for Deep Learning Tasks Saidul Islam Hanae Elmekki Ahmed Elsebai Jamal Bentahar Najat Drawel Gaith Rjoub Witold Pedrycz ViT MedIm 24 171 0 11 Jun 2023
Explanation Graph Generation via Generative Pre-training over Synthetic Graphs H. Cui Sha Li Yu Zhang Qi Shi 19 1 0 01 Jun 2023
Teaching Probabilistic Logical Reasoning to Transformers Aliakbar Nafar K. Venable Parisa Kordjamshidi ReLM LRM 24 3 0 22 May 2023
Explicit Planning Helps Language Models in Logical Reasoning Hongyu Zhao Kangrui Wang Mo Yu Hongyuan Mei LRM ReLM 40 15 0 28 Mar 2023
Natural Language Reasoning, A Survey Fei Yu Hongbo Zhang Prayag Tiwari Benyou Wang ReLM LRM 49 51 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
APOLLO: A Simple Approach for Adaptive Pretraining of Language Models for Logical Reasoning Soumya Sanyal Yichong Xu Shuohang Wang Ziyi Yang Reid Pryzant W. Yu Chenguang Zhu Xiang Ren ReLM LRM 32 8 0 19 Dec 2022
MURMUR: Modular Multi-Step Reasoning for Semi-Structured Data-to-Text Generation Swarnadeep Saha Xinyan Velocity Yu Joey Tianyi Zhou Ramakanth Pasunuru Asli Celikyilmaz ReLM LRM 25 10 0 16 Dec 2022
TRAC: A Textual Benchmark for Reasoning about Actions and Change Weinan He Canming Huang Zhanhao Xiao Yongmei Liu LLMAG ReLM LRM 17 0 0 25 Nov 2022
RLET: A Reinforcement Learning Based Approach for Explainable QA with Entailment Trees Tengxiao Liu Qipeng Guo Xiangkun Hu Yue Zhang Xipeng Qiu Zheng-Wei Zhang LRM 41 14 0 31 Oct 2022
ReasonChainQA: Text-based Complex Question Answering with Explainable Evidence Chains Minjun Zhu Yixuan Weng Shizhu He Kang Liu Jun Zhao LRM 19 6 0 17 Oct 2022
Summarization Programs: Interpretable Abstractive Summarization with Neural Modular Trees Swarnadeep Saha Shiyue Zhang Peter Hase Joey Tianyi Zhou 26 19 0 21 Sep 2022
Generating Intermediate Steps for NLI with Next-Step Supervision Deepanway Ghosal Somak Aditya Monojit Choudhury LRM 35 1 0 31 Aug 2022
Faithful Reasoning Using Large Language Models Antonia Creswell Murray Shanahan ReLM LRM 24 121 0 30 Aug 2022
Going Beyond Approximation: Encoding Constraints for Explainable Multi-hop Inference via Differentiable Combinatorial Solvers Mokanarangan Thayaparan Marco Valentino André Freitas 16 0 0 05 Aug 2022
Unveiling Transformers with LEGO: a synthetic reasoning task Yi Zhang A. Backurs Sébastien Bubeck Ronen Eldan Suriya Gunasekar Tal Wagner LRM 33 85 0 09 Jun 2022
NaturalProver: Grounded Mathematical Proof Generation with Language Models Sean Welleck Jiacheng Liu Ximing Lu Hannaneh Hajishirzi Yejin Choi AIMat LRM 30 65 0 25 May 2022
Generating Natural Language Proofs with Verifier-Guided Search Kaiyu Yang Jia Deng Danqi Chen LRM 19 68 0 25 May 2022
Interpretable Proof Generation via Iterative Backward Reasoning Hanhao Qu Yu Cao Jun Gao Liang Ding Ruifeng Xu LRM 143 15 0 22 May 2022
Selection-Inference: Exploiting Large Language Models for Interpretable Logical Reasoning Antonia Creswell Murray Shanahan I. Higgins ReLM LRM 30 341 0 19 May 2022
METGEN: A Module-Based Entailment Tree Generation Framework for Answer Explanation Ruixin Hong Hongming Zhang Xintong Yu Changshui Zhang ReLM LRM 32 32 0 05 May 2022
Logically Consistent Adversarial Attacks for Soft Theorem Provers Alexander Gaskell Yishu Miao Lucia Specia Francesca Toni AAML 18 7 0 29 Apr 2022
A Review on Language Models as Knowledge Bases Badr AlKhamissi Millicent Li Asli Celikyilmaz Mona T. Diab Marjan Ghazvininejad KELM 41 175 0 12 Apr 2022
Explanation Graph Generation via Pre-trained Language Models: An Empirical Study with Contrastive Learning Swarnadeep Saha Prateek Yadav Joey Tianyi Zhou 11 9 0 11 Apr 2022
AbductionRules: Training Transformers to Explain Unexpected Inputs Nathan Young Qiming Bao Joshua Bensemann Michael Witbrock AI4CE LRM 21 20 0 23 Mar 2022
FaiRR: Faithful and Robust Deductive Reasoning over Natural Language Soumya Sanyal Harman Singh Xiang Ren ReLM LRM 29 44 0 19 Mar 2022
Natural Language Deduction through Search over Statement Compositions Kaj Bostrom Zayne Sprague Swarat Chaudhuri Greg Durrett ReLM LRM 27 46 0 16 Jan 2022
Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability Kyle Richardson Ashish Sabharwal ReLM LRM 30 24 0 16 Dec 2021
Learning Symbolic Rules for Reasoning in Quasi-Natural Language Kaiyu Yang Jia Deng NAI ReLM LRM 19 13 0 23 Nov 2021
DeepA2: A Modular Framework for Deep Argument Analysis with Pretrained Neural Text2Text Language Models Gregor Betz Kyle Richardson 22 8 0 04 Oct 2021
NOAHQA: Numerical Reasoning with Interpretable Graph Question Answering Dataset Qiyuan Zhang Lei Wang S. Yu Shuohang Wang Yang Wang Jing Jiang Ee-Peng Lim AIMat 36 16 0 22 Sep 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
Probabilistic Graph Reasoning for Natural Proof Generation Changzhi Sun Xinbo Zhang Jiangjie Chen Chun Gan Yuanbin Wu Jiaze Chen Hao Zhou Lei Li 20 9 0 06 Jul 2021
multiPRover: Generating Multiple Proofs for Improved Interpretability in Rule Reasoning Swarnadeep Saha Prateek Yadav Joey Tianyi Zhou ReLM LRM 21 26 0 02 Jun 2021
Diff-Explainer: Differentiable Convex Optimization for Explainable Multi-hop Inference Mokanarangan Thayaparan Marco Valentino Deborah Ferreira Julia Rozanova André Freitas 30 11 0 07 May 2021
Towards General Natural Language Understanding with Probabilistic Worldbuilding Abulhair Saparov Tom Michael Mitchell 13 5 0 06 May 2021
Flexible Generation of Natural Language Deductions Kaj Bostrom Xinyu Zhao Swarat Chaudhuri Greg Durrett ReLM LRM 268 33 0 18 Apr 2021
Explaining Answers with Entailment Trees Bhavana Dalvi Peter Alexander Jansen Oyvind Tafjord Zhengnan Xie Hannah Smith Leighanna Pipatanangkura Peter Clark ReLM FAtt LRM 239 184 0 17 Apr 2021