Richardson, K., & Sabharwal, A. (2022). Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability. Proceedings of the AAAI Conference on Artificial Intelligence, 36(10), 11209-11219. https://doi.org/10.1609/aaai.v36i10.21371