4 papers
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…
Reading Between the Citations: A Typed Claim Network for Scientific Literature
Ning Ding, Sergio J. RodrÃguez Méndez, Pouya G. Omran
Knowledge graphs over corpora of inter-referencing documents - scholarly papers, legal opinions, policy briefs - encode the topology of reference but not its stance. The standard r…
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…
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…