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.