TY  - RPRT
TI  - Socrates or Smartypants: Testing Logic Reasoning Capabilities of Large Language Models with Logic Programming-based Test Oracles
AU  - Zihao Xu
AU  - Junchen Ding
AU  - Yiling Lou
AU  - Kun Zhang
AU  - Dong Gong
AU  - Yuekang Li
PY  - 2025
UR  - https://arxiv.org/abs/2504.12312
ID  - 2504.12312
ER  -