1
HOLMES: Evaluating Higher-Order Logical Reasoning in LLMs
专门评估大模型高阶逻辑推理能力的新基准HOLMES，揭示了当前LLM在复杂推理任务上的短板。
arXiv:2606.23238v1 Announce Type: new Abstract: Logical reasoning is essential for reliable AI, yet existing benchmarks are largely first-order-logic-…