HOLMES: Evaluating Higher-Order Logical Reasoning in LLMs
DGX agentarXiv:2606.23238v2 Announce Type: replace Abstract: Logical reasoning is essential for reliable AI, yet existing benchmarks are largely first-order-logic-centric, focusing on object-level deduction ov