research
∙
07/05/2023
Deductive Additivity for Planning of Natural Language Proofs
Current natural language systems designed for multi-step claim validatio...
share
research
∙
11/01/2022
Natural Language Deduction with Incomplete Information
A growing body of work studies how to answer a question or verify a clai...
research
∙
01/16/2022
Natural Language Deduction through Search over Statement Compositions
In settings from fact-checking to question answering, we frequently want...
research
∙
04/18/2021
Flexible Operations for Natural Language Deduction
An interpretable system for complex, open-domain reasoning needs an inte...
research
∙
04/07/2020