TY  - RPRT
TI  - Large Language Models Meet Symbolic Provers for Logical Reasoning Evaluation
AU  - Chengwen Qi
AU  - Ren Ma
AU  - Bowen Li
AU  - He Du
AU  - Binyuan Hui
AU  - Jinwang Wu
AU  - Yuanjun Laili
AU  - Conghui He
PY  - 2025
UR  - https://arxiv.org/abs/2502.06563
ID  - 2502.06563
ER  -