Active entailment encoding for explanation tree construction using parsimonious generation of hard negatives. (arXiv:2208.01376v1 [cs.CL])

Entailment trees have been proposed to simulate the human reasoning process
of explanation generation in the context of open--domain textual question
answering. However, in practice, manually constructing these explanation trees
proves a laborious process that requires active human involvement. Given the
complexity of capturing the line of reasoning from question to the answer or
from claim to premises, the issue arises of how to assist the user in
efficiently constructing multi--level entailment trees given a large set of
available facts. …

arxiv construction encoding generation tree