mlsanityData to 14 Oct 2026

If We May De-Presuppose: Robustly Verifying Claims through Presupposition-Free Question Decomposition

arXiv 2508.16838 ↗First posted 22 Aug 2025cs.CLcited by 5

Not on the map. Why?

Abstract (arXiv)

Prior work has shown that presupposition in generated questions can introduce unverified assumptions, leading to inconsistencies in claim verification. Additionally, prompt sensitivity remains a significant challenge for large language models (LLMs), resulting in performance variance as high as 3-6%. While recent advancements have reduced this gap, our study demonstrates that prompt sensitivity remains a persistent issue. To address this, we propose a structured and robust claim verification framework that reasons through presupposition-free, decomposed questions. Extensive experiments across multiple prompts, datasets, and LLMs reveal that even state-of-the-art models remain susceptible to prompt variance and presupposition. Our method consistently mitigates these issues, achieving up to a 2-5% improvement.

Key facts. Cited by 5 papers in the map (data through 14 Oct 2026). Builds on 17 of its 27 references that are in the map. First posted on arXiv 22 Aug 2025.

Builds on

17 of 27 references.

References · 17

  1. 2024The Llama 3 Herd of Modelscited by 14,715
  2. 2023Efficient Memory Management for Large Language Model Serving with PagedAttentioncited by 5,944
  3. 2018FEVER: a large-scale dataset for Fact Extraction and VERificationcited by 1,375
  4. 2023FActScore: Fine-grained Atomic Evaluation of Factual Precision in Long Form Text Generationcited by 1,282
  5. 2023Quantifying Language Models' Sensitivity to Spurious Features in Prompt Design or: How I learned to start worrying about prompt formattingcited by 817
  6. 2023AlignScore: Evaluating Factual Consistency with a Unified Alignment Functioncited by 288
  7. 2024MiniCheck: Efficient Fact-Checking of LLMs on Grounding Documentscited by 257
  8. 2020CLIMATE-FEVER: A Dataset for Verification of Real-World Climate Claimscited by 196
  9. 2024ProSA: Assessing and Understanding the Prompt Sensitivity of LLMscited by 149
  10. 2023WiCE: Real-World Entailment for Claims in Wikipediacited by 120
  11. 2024VERISCORE: Evaluating the factuality of verifiable claims in long-form text generationcited by 117
  12. 2022Generating Literal and Implied Subquestions to Fact-check Complex Claimscited by 66
5 more
  1. 2021Which Linguist Invented the Lightbulb? Presupposition Verification for Question-Answeringcited by 41
  2. 2024Decomposition Dilemmas: Does Claim Decomposition Boost or Burden Fact-Checking Performance?cited by 36
  3. 2022BioNLI: Generating a Biomedical NLI Dataset Using Lexico-semantic Constraints for Adversarial Examplescited by 15
  4. 2024OpenFactCheck: Building, Benchmarking Customized Fact-Checking Systems and Evaluating the Factuality of Claims and LLMscited by 13
  5. 2025Q2E: Query-to-Event Decomposition for Zero-Shot Multilingual Text-to-Video Retrievalcited by 3

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2026: 5.

5 papers.