METGEN: A Module-Based Entailment Tree Generation Framework for Answer Explanation

5 May 2022

Papers citing "METGEN: A Module-Based Entailment Tree Generation Framework for Answer Explanation"

24 / 24 papers shown

Title
From Models to Microtheories: Distilling a Model's Topical Knowledge for Grounded Question Answering Nathaniel Weir Bhavana Dalvi Mishra Orion Weller Oyvind Tafjord Sam Hornstein Alexander Sabol Peter Alexander Jansen Benjamin Van Durme Peter Clark LRM KELM 83 0 0 23 Dec 2024
Exploring the Role of Reasoning Structures for Constructing Proofs in Multi-Step Natural Language Reasoning with Large Language Models Zióu Zheng Christopher Malon Martin Renqiang Min Xiaodan Zhu LRM 61 0 0 11 Oct 2024
Integrating Hierarchical Semantic into Iterative Generation Model for Entailment Tree Explanation Qin Wang Jianzhou Feng Yiming Xu 23 0 0 26 Sep 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 42 21 0 15 Apr 2024
A Logical Pattern Memory Pre-trained Model for Entailment Tree Generation Li Yuan Yi Cai Haopeng Ren Jiexin Wang LRM 16 5 0 11 Mar 2024
SEER: Facilitating Structured Reasoning and Explanation via Reinforcement Learning Guoxin Chen Kexin Tang Chao Yang Fuying Ye Yu Qiao Yiming Qian LRM 11 3 0 24 Jan 2024
A Closer Look at the Self-Verification Abilities of Large Language Models in Logical Reasoning Ruixin Hong Hongming Zhang Xinyu Pang Dong Yu Changshui Zhang LRM 44 23 0 14 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 22 3 0 12 Nov 2023
Deductive Additivity for Planning of Natural Language Proofs Zayne Sprague Kaj Bostrom Swarat Chaudhuri Greg Durrett LRM 23 3 0 05 Jul 2023
RECKONING: Reasoning through Dynamic Knowledge Encoding Zeming Chen Gail Weiss E. Mitchell Asli Celikyilmaz Antoine Bosselut KELM LRM 16 11 0 10 May 2023
Faithful Question Answering with Monte-Carlo Planning Ruixin Hong Hongming Zhang Honghui Zhao Dong Yu Changshui Zhang ReLM LRM 52 19 0 04 May 2023
Explainable Verbal Reasoner Plus (EVR+): A Natural Language Reasoning Framework that Supports Diverse Compositional Reasoning Zhengzhong Liang Zeyu Zhang Steven Bethard Mihai Surdeanu ReLM LRM 18 1 0 28 Apr 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
Natural Language Deduction with Incomplete Information Zayne Sprague Kaj Bostrom Swarat Chaudhuri Greg Durrett LRM 41 17 0 01 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 28 14 0 31 Oct 2022
MetaLogic: Logical Reasoning Explanations with Fine-Grained Structure Yinya Huang Hongming Zhang Ruixin Hong Xiaodan Liang Changshui Zhang Dong Yu LRM 51 7 0 22 Oct 2022
Entailer: Answering Questions with Faithful and Truthful Chains of Reasoning Oyvind Tafjord Bhavana Dalvi Peter Clark ReLM KELM LRM 60 52 0 21 Oct 2022
Towards Faithful Model Explanation in NLP: A Survey Qing Lyu Marianna Apidianaki Chris Callison-Burch XAI 104 107 0 22 Sep 2022
NELLIE: A Neuro-Symbolic Inference Engine for Grounded, Compositional, and Explainable Reasoning Nathaniel Weir Peter Clark Benjamin Van Durme ReLM NAI LRM 48 12 0 16 Sep 2022
Generating Natural Language Proofs with Verifier-Guided Search Kaiyu Yang Jia Deng Danqi Chen LRM 14 68 0 25 May 2022
Flexible Generation of Natural Language Deductions Kaj Bostrom Xinyu Zhao Swarat Chaudhuri Greg Durrett ReLM LRM 254 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 237 184 0 17 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