iTharindu/generalised-quantifiers-model-checking

We investigate how generalised quantifiers affect the behaviour of transformer-based language models employing the textual entailment problem defined in a purely logical sense, namely, model-checking with natural language.

Python