3 papers
cs.AI2026
EvoThink: Evolving Thinking in Large Reasoning Models via Self-Pruning and Aha-Moment Preference Optimization
Xinbang Dai, Zheyu Xin, Huikang Hu +7
Large Reasoning Models (LRMs) often suffer from overthinking due to redundant verification steps. Existing approaches for mitigating overthinking, such as fast-slow thinking switch…
cs.IR2026
FollowTable: A Benchmark for Instruction-Following Table Retrieval
Rihui Jin, Yuchen Lu, Ting Zhang +7
Table Retrieval (TR) has traditionally been formulated as an ad-hoc retrieval problem, where relevance is primarily determined by topical semantic similarity. With the growing adop…
cs.AI2025
Can LLMs Solve ASP Problems? Insights from a Benchmarking Study (Extended Version)
Lin Ren, Guohui Xiao, Guilin Qi +2
Answer Set Programming (ASP) is a powerful paradigm for non-monotonic reasoning. Recently, large language models (LLMs) have demonstrated promising capabilities in logical reasonin…