Identifying the limits of transformers when performing model-checking with natural language.

Tharindu Madusanka, Riza Theresa Batista-Navarro, Ian Pratt-Hartmann

Browse the full EACL paper archive.