@inproceedings{madusanka-etal-2025-unravelling,
    title = "Unravelling the Logic: Investigating the Generalisation of Transformers in Numerical Satisfiability Problems",
    author = "Madusanka, Tharindu  and
      Valentino, Marco  and
      Zahid, Iqra  and
      Pratt-Hartmann, Ian  and
      Batista-Navarro, Riza",
    editor = "Che, Wanxiang  and
      Nabende, Joyce  and
      Shutova, Ekaterina  and
      Pilehvar, Mohammad Taher",
    booktitle = "Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)",
    month = jul,
    year = "2025",
    address = "Vienna, Austria",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/landing_page/2025.acl-long.1223/",
    pages = "25155--25168",
    ISBN = "979-8-89176-251-0"
}