TY - RPRT TI - Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability AU - Kyle Richardson AU - Ashish Sabharwal PY - 2021 UR - https://arxiv.org/abs/2112.09054 ID - 2112.09054 ER -