HOLogicBench: Evaluating Higher-Order Logical Reasoning in LLMs

Yucheng Wu, Jundong Xu, Mingzhen Ju +4

Existing LLM logical-reasoning benchmarks largely focus on object-level inference under fixed predicates and rules, leaving higher-order reasoning over rules and policies underexpl…