@inproceedings{madusanka-etal-2024-natural,
    title = "Natural Language Satisfiability: Exploring the Problem Distribution and Evaluating Transformer-based Language Models",
    author = "Madusanka, Tharindu  and
      Pratt-Hartmann, Ian  and
      Batista-Navarro, Riza",
    editor = "Ku, Lun-Wei  and
      Martins, Andre  and
      Srikumar, Vivek",
    booktitle = "Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)",
    month = aug,
    year = "2024",
    address = "Bangkok, Thailand",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2024.acl-long.815/",
    doi = "10.18653/v1/2024.acl-long.815",
    pages = "15278--15294"
}