TY  - RPRT
TI  - Do Large Language Models Excel in Complex Logical Reasoning with Formal Language?
AU  - Jin Jiang
AU  - Jianing Wang
AU  - Yuchen Yan
AU  - Yang Liu
AU  - Jianhua Zhu
AU  - Mengdi Zhang
AU  - Xunliang Cai
AU  - Liangcai Gao
PY  - 2025
UR  - https://arxiv.org/abs/2505.16998
ID  - 2505.16998
ER  -