TY  - RPRT
TI  - Natural Language Satisfiability: Exploring the Problem Distribution and Evaluating Transformer-based Language Models
AU  - Tharindu Madusanka
AU  - Ian Pratt-Hartmann
AU  - Riza Batista-Navarro
PY  - 2025
UR  - https://arxiv.org/abs/2508.17153
ID  - 2508.17153
ER  -