Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability.

Kyle Richardson, Ashish Sabharwal

Browse the full AAAI paper archive.