Natural Language Satisfiability: Exploring the Problem Distribution and Evaluating Transformer-based Language Models.

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

Browse the full ACL paper archive.