References & Citations
Computer Science > Computation and Language
Title: Natural Language Deduction through Search over Statement Compositions
(Submitted on 16 Jan 2022 (v1), last revised 28 Oct 2022 (this version, v2))
Abstract: In settings from fact-checking to question answering, we frequently want to know whether a collection of evidence (premises) entails a hypothesis. Existing methods primarily focus on the end-to-end discriminative version of this task, but less work has treated the generative version in which a model searches over the space of statements entailed by the premises to constructively derive the hypothesis. We propose a system for doing this kind of deductive reasoning in natural language by decomposing the task into separate steps coordinated by a search procedure, producing a tree of intermediate conclusions that faithfully reflects the system's reasoning process. Our experiments on the EntailmentBank dataset (Dalvi et al., 2021) demonstrate that the proposed system can successfully prove true statements while rejecting false ones. Moreover, it produces natural language explanations with a 17% absolute higher step validity than those produced by an end-to-end T5 model.
Submission history
From: Kaj Bostrom [view email][v1] Sun, 16 Jan 2022 12:05:48 GMT (176kb,D)
[v2] Fri, 28 Oct 2022 16:20:57 GMT (824kb,D)
Link back to: arXiv, form interface, contact.