LangPro
: Natural Language Theorem Prover
LangPro tries to find out a semantic relation between
a set of premises and a hypothesis.
The semantic relation can be:
entailment/yes,
contradiction/no,
neutral/unknown.
LangPro obtains competetive results on the SICK and FraCaS RTE (i.e. recognizing textual entailment) datasets.
The version used for the demo is outdated. Consult the GitHub repo for the recent version of LangPro.
The inputs to the prover are recorded
LangPro obtains competetive results on the SICK and FraCaS RTE (i.e. recognizing textual entailment) datasets.
The version used for the demo is outdated. Consult the GitHub repo for the recent version of LangPro.
The inputs to the prover are recorded