Enhancing Transformers for Generalizable First-Order Logical Entailment

Open in new window