@inproceedings{madusanka-etal-2023-identifying,
    title = "Identifying the limits of transformers when performing model-checking with natural language",
    author = "Madusanka, Tharindu  and
      Batista-navarro, Riza  and
      Pratt-hartmann, Ian",
    editor = "Vlachos, Andreas  and
      Augenstein, Isabelle",
    booktitle = "Proceedings of the 17th Conference of the European Chapter of the Association for Computational Linguistics",
    month = may,
    year = "2023",
    address = "Dubrovnik, Croatia",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2023.eacl-main.257/",
    doi = "10.18653/v1/2023.eacl-main.257",
    pages = "3539--3550"
}