Natural Language Deduction through Search over Statement Compositions

16 January 2022

Swarat Chaudhuri

Papers citing "Natural Language Deduction through Search over Statement Compositions"

43 / 43 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 56 0 0 23 Dec 2024
DeFine: Enhancing LLM Decision-Making with Factor Profiles and Analogical Reasoning Yebowen Hu Xiaoyang Wang Wenlin Yao Yiming Lu Daoan Zhang H. Foroosh Dong Yu Fei Liu 31 4 0 02 Oct 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
TV-TREES: Multimodal Entailment Trees for Neuro-Symbolic Video Reasoning Kate Sanders Nathaniel Weir Benjamin Van Durme LRM 31 11 0 29 Feb 2024
Enhancing Systematic Decompositional Natural Language Inference Using Informal Logic Nathaniel Weir Kate Sanders Orion Weller Shreya Sharma Dongwei Jiang ... Bhavana Dalvi Oyvind Tafjord Peter Alexander Jansen Peter Clark Benjamin Van Durme 36 9 0 22 Feb 2024
Can Separators Improve Chain-of-Thought Prompting? Yoonjeong Park Hyunjin Kim Chanyeol Choi Junseong Kim Jy-yong Sohn LRM ReLM 16 1 0 16 Feb 2024
SportsMetrics: Blending Text and Numerical Data to Understand Information Fusion in LLMs Yebowen Hu Kaiqiang Song Sangwoo Cho Xiaoyang Wang H. Foroosh Dong Yu Fei Liu 16 8 0 15 Feb 2024
Deductive Closure Training of Language Models for Coherence, Accuracy, and Updatability Afra Feyza Akyürek Ekin Akyürek Leshem Choshen Derry Wijaya Jacob Andreas HILM SyDa 21 16 0 16 Jan 2024
From Complex to Simple: Unraveling the Cognitive Tree for Reasoning with Small Language Models Junbing Yan Chengyu Wang Taolin Zhang Xiaofeng He Jun Huang Wei Zhang ReLM LRM 21 7 0 12 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 14 3 0 12 Nov 2023
Unleashing the Creative Mind: Language Model As Hierarchical Policy For Improved Exploration on Challenging Problem Solving Z. Ling Yunhao Fang Xuanlin Li Tongzhou Mu Mingu Lee Reza Pourreza Roland Memisevic Hao Su LRM 23 4 0 01 Nov 2023
Learning Deductive Reasoning from Synthetic Corpus based on Formal Logic Terufumi Morishita Gaku Morio Atsuki Yamaguchi Yasuhiro Sogawa ReLM LRM AI4CE ELM 14 22 0 11 Aug 2023
Deductive Additivity for Planning of Natural Language Proofs Zayne Sprague Kaj Bostrom Swarat Chaudhuri Greg Durrett LRM 18 3 0 05 Jul 2023
Deductive Verification of Chain-of-Thought Reasoning Z. Ling Yunhao Fang Xuanlin Li Zhiao Huang Mingu Lee Roland Memisevic Hao Su ReLM LRM 17 121 0 06 Jun 2023
Vera: A General-Purpose Plausibility Estimation Model for Commonsense Statements Jiacheng Liu Wenya Wang Dianzhuo Wang Noah A. Smith Yejin Choi Hannaneh Hajishirzi VLM 31 31 0 05 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 13 1 0 28 Apr 2023
Explicit Planning Helps Language Models in Logical Reasoning Hongyu Zhao Kangrui Wang Mo Yu Hongyuan Mei LRM ReLM 25 15 0 28 Mar 2023
Logical Reasoning over Natural Language as Knowledge Representation: A Survey Zonglin Yang Xinya Du Rui Mao Jinjie Ni Erik Cambria LRM ReLM 11 24 0 21 Mar 2023
Iterated Decomposition: Improving Science Q&A by Supervising Reasoning Processes Justin Reppert Ben Rachbach Charlie George Luke Stebbing Ju-Seung Byun Maggie Appleton Andreas Stuhlmuller ReLM LRM 28 16 0 04 Jan 2023
Can Retriever-Augmented Language Models Reason? The Blame Game Between the Retriever and the Language Model Parishad BehnamGhader Santiago Miret Siva Reddy ReLM LRM 6 35 0 18 Dec 2022
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 14 10 0 16 Dec 2022
Best- $k$ Search Algorithm for Neural Text Generation Jiacheng Xu Caiming Xiong Silvio Savarese Yingbo Zhou 17 5 0 22 Nov 2022
Breakpoint Transformers for Modeling and Tracking Intermediate Beliefs Kyle Richardson Ronen Tamari Oren Sultan Reut Tsarfaty Dafna Shahaf Ashish Sabharwal KELM 13 7 0 15 Nov 2022
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 17 14 0 31 Oct 2022
Entailer: Answering Questions with Faithful and Truthful Chains of Reasoning Oyvind Tafjord Bhavana Dalvi Peter Clark ReLM KELM LRM 57 52 0 21 Oct 2022
Plug-and-Play VQA: Zero-shot VQA by Conjoining Large Pretrained Models with Zero Training A. M. H. Tiong Junnan Li Boyang Albert Li Silvio Savarese S. Hoi MLLM 16 101 0 17 Oct 2022
Rainier: Reinforced Knowledge Introspector for Commonsense Question Answering Jiacheng Liu Skyler Hallinan Ximing Lu Pengfei He Sean Welleck Hannaneh Hajishirzi Yejin Choi RALM 13 59 0 06 Oct 2022
Honest Students from Untrusted Teachers: Learning an Interpretable Question-Answering Pipeline from a Pretrained Language Model Jacob Eisenstein D. Andor Bernd Bohnet Michael Collins David M. Mimno LRM 178 24 0 05 Oct 2022
Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought Abulhair Saparov He He ELM LRM ReLM 116 270 0 03 Oct 2022
Summarization Programs: Interpretable Abstractive Summarization with Neural Modular Trees Swarnadeep Saha Shiyue Zhang Peter Hase Mohit Bansal 8 18 0 21 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
Faithful Reasoning Using Large Language Models Antonia Creswell Murray Shanahan ReLM LRM 11 120 0 30 Aug 2022
NaturalProver: Grounded Mathematical Proof Generation with Language Models Sean Welleck Jiacheng Liu Ximing Lu Hannaneh Hajishirzi Yejin Choi AIMat LRM 17 64 0 25 May 2022
Generating Natural Language Proofs with Verifier-Guided Search Kaiyu Yang Jia Deng Danqi Chen LRM 14 68 0 25 May 2022
On the Paradox of Learning to Reason from Data Honghua Zhang Liunian Harold Li Tao Meng Kai-Wei Chang Guy Van den Broeck NAI ReLM OOD LRM 132 102 0 23 May 2022
Selection-Inference: Exploiting Large Language Models for Interpretable Logical Reasoning Antonia Creswell Murray Shanahan I. Higgins ReLM LRM 22 335 0 19 May 2022
Chain-of-Thought Prompting Elicits Reasoning in Large Language Models Jason W. Wei Xuezhi Wang Dale Schuurmans Maarten Bosma Brian Ichter F. Xia Ed H. Chi Quoc Le Denny Zhou LM&Ro LRM AI4CE ReLM 315 8,261 0 28 Jan 2022
DeepA2: A Modular Framework for Deep Argument Analysis with Pretrained Neural Text2Text Language Models Gregor Betz Kyle Richardson 12 8 0 04 Oct 2021
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
Did Aristotle Use a Laptop? A Question Answering Benchmark with Implicit Reasoning Strategies Mor Geva Daniel Khashabi Elad Segal Tushar Khot Dan Roth Jonathan Berant RALM 245 671 0 06 Jan 2021