Showing 2026Show all
2 papers · 1 filter
cs.CL2026
Rewarding Novel Deductions: Solver-guided Process Supervision for Logical Reasoning
Muhammad Asif Ali, Wenqing Wang, Huan Wang +1
Logical reasoning remains a major challenge for large language models (LLMs), particularly on structured problems that require precise constraint tracking, consistency preservation…
cs.CL2026
SCOUT: Active Information Foraging for Long-Text Understanding with Decoupled Epistemic States
Zhenliang Zhang, Wenqing Wang, Yong Hu +4
Long-Text Understanding (LTU) at million-token scale requires balancing reasoning fidelity with computational efficiency. Frontier long-context LLMs can process millions of token c…