Natural Language Satisfiability: Exploring the Problem Distribution and Evaluating Transformer-based Language Models Tharindu Madusanka author Ian Pratt-Hartmann author Riza Batista-Navarro author 2024-08 text Proceedings of the 62nd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers) Lun-Wei Ku editor Andre Martins editor Vivek Srikumar editor Association for Computational Linguistics Bangkok, Thailand conference publication madusanka-etal-2024-natural 10.18653/v1/2024.acl-long.815 https://aclanthology.org/2024.acl-long.815/ 2024-08 15278 15294