[ACL 2025] Enhancing Transformers for Generalizable First-Order Logical Entailment - View it on GitHub