3 citations · 3 across the 3 of their papers we have counts for
1 paper · 1 filter
Yucheng Wu, Jundong Xu, Mingzhen Ju +4
Logical reasoning is essential for reliable AI, yet existing benchmarks are largely first-order-logic-centric, focusing on object-level deduction over fixed predicates. This misses…