3 papers
cs.AI2026
ComBench: A Benchmark for Rigorous Proof Reasoning and Constructive Realization in Olympiad-Level Combinatorics
Shunkai Zhang, Haoran Zhang, Yun Luo +15
Combinatorics is central to Olympiad-level mathematical problem solving, requiring deep discrete reasoning, creative constructions, and rigorous structural insight. Recent evidence…
cs.CL2026
Stateful Evidence-Driven Retrieval-Augmented Generation with Iterative Reasoning
Qi Dong, Ziheng Lin, Ning Ding
Retrieval-Augmented Generation (RAG) grounds Large Language Models (LLMs) in external knowledge but often suffers from flat context representations and stateless retrieval, leading…
cs.IR2025
Semantic-enhanced Modality-asymmetric Retrieval for Online E-commerce Search
Zhigong Zhou, Ning Ding, Xiaochuan Fan +8
Semantic retrieval, which retrieves semantically matched items given a textual query, has been an essential component to enhance system effectiveness in e-commerce search. In this…