2 papers
cs.AI2026
Large Knowledge Model: From Papers to a Scientific Reasoning Landscape
Yuan Huang, Sihan Hu, Hongyu Gu +18
Accumulated scientific knowledge advances inquiry when prior findings help researchers choose new questions, design investigations, and interpret results. Realizing this value at s…
cs.AI2026
HOLMES: Evaluating Higher-Order Logical Reasoning in LLMs
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…