RuleTaker

Transformers have been shown to emulate log- ical deduction over natural language theories (logical rules expressed in natural language), reliably assigning true/false labels to candi- date implications. However, their ability …...

AbstractReasoning over natural language is a challenging problem in NLP. In this work, we focus on proof generation: Given a hypothesis and a set of supporting facts, the model generates …...