TY  - RPRT
TI  - Enhancing Transformers for Generalizable First-Order Logical Entailment
AU  - Tianshi Zheng
AU  - Jiazheng Wang
AU  - Zihao Wang
AU  - Jiaxin Bai
AU  - Hang Yin
AU  - Zheye Deng
AU  - Yangqiu Song
AU  - Jianxin Li
PY  - 2025
UR  - https://arxiv.org/abs/2501.00759
ID  - 2501.00759
ER  -