2 papers
cs.CL2026
LakeQA: An Exploratory QA Benchmark over a Million-Scale Data Lake
Haonan Wang, Jiaxiang Liu, Yurong Liu +11
Recent large language models (LLMs) have shown rapid progress in reading-based question answering (QA), where evidence is explicitly provided or can be trivially retrieved. In cont…
cs.CC2022
A parameterized halting problem, truth and the MRDP theorem
Yijia Chen, Moritz Müller, Keita Yokoyama
We study the parameterized complexity of the problem to decide whether a given natural number satisfies a given -formula ; the parameter is the size of . This par…