TY  - RPRT
TI  - HOLMES: Evaluating Higher-Order Logical Reasoning in LLMs
AU  - Yucheng Wu
AU  - Jundong Xu
AU  - Mingzhen Ju
AU  - Yue Yu
AU  - Chenpeng Wang
AU  - Haoxuan Li
AU  - Liangming Pan
PY  - 2026
UR  - https://arxiv.org/abs/2606.23238
ID  - 2606.23238
ER  -