DecomposeRL: Learning to Ask Useful, Informative, and Diverse Questions for Semi-Supervised, Traceable Claim Verification
Not on the map. Why?
Abstract (arXiv)
Claim verification splits between end-to-end classifiers that are accurate but yields no inspectable traces, and decomposition-based methods produce inspectable traces but lag performance on benchmark datasets. We propose DecomposeRL an accurate claim-verifier that produce inspectable traces. DecomposeRL frames decomposition as an RL policy trained with GRPO and a multi-faceted reward ensemble, enabling both fully supervised and semi-supervised learning from unlabeled claims. DecomposeRL addresses the prohibitive training cost of GRPO with a data-curation funnel that distills 115K fact-verification claims into a compact, learning-signal-dense subset of 5K claims. We show that a DecomposeRL-7B policy trained with full supervision on only ~5K curated claims achieves 86.3 in-domain and 69.8 out-of-domain balanced accuracy across 11 claim-verification benchmarks containing biomedical, political, scientific, and general-domain claims. Despite being 4x smaller, it matches 32B baselines and GPT-4.1-mini, and it further outperforms baselines in a semi-supervised setting with only 10% labeled claims data. Code, data, and models are available at https://dipta007.github.io/DecomposeRL
Key facts. Cited by 2 papers in the map (data through 14 Oct 2026). Builds on 43 of its 61 references that are in the map. First posted on arXiv 27 May 2026.
Builds on
43 of 61 references.
References · 43
- 2020Language Models are Few-Shot Learnerscited by 32,419
- 2022Training language models to follow instructions with human feedbackcited by 15,971
- 2017Proximal Policy Optimization Algorithmscited by 15,215
- 2024The Llama 3 Herd of Modelscited by 14,715
- 2024DeepSeekMath: Pushing the Limits of Mathematical Reasoning in Open Language Modelscited by 9,379
- 2023Judging LLM-as-a-Judge with MT-Bench and Chatbot Arenacited by 8,626
- 2023Direct Preference Optimization: Your Language Model is Secretly a Reward Modelcited by 8,065
- 2023Efficient Memory Management for Large Language Model Serving with PagedAttentioncited by 5,944
- 2019Unsupervised Cross-lingual Representation Learning at Scalecited by 3,935
- 2023Let's Verify Step by Stepcited by 3,789
- 2018HotpotQA: A Dataset for Diverse, Explainable Multi-hop Question Answeringcited by 3,754
- 2023G-Eval: NLG Evaluation using GPT-4 with Better Human Alignmentcited by 2,276
31 more
- 2018FEVER: a large-scale dataset for Fact Extraction and VERificationcited by 1,375
- 2019PubMedQA: A Dataset for Biomedical Research Question Answeringcited by 1,288
- 2020Constructing A Multi-hop QA Dataset for Comprehensive Evaluation of Reasoning Stepscited by 1,282
- 2023FActScore: Fine-grained Atomic Evaluation of Factual Precision in Long Form Text Generationcited by 1,282
- 2022Scaling Laws for Reward Model Overoptimizationcited by 1,095
- 2022Measuring and Narrowing the Compositionality Gap in Language Modelscited by 1,075
- 2021Deduplicating Training Data Makes Language Models Bettercited by 714
- 2022Decomposed Prompting: A Modular Approach for Solving Complex Taskscited by 558
- 2020Fact or Fiction: Verifying Scientific Claimscited by 554
- 2026Reinforcement Learning via Self-Distillationcited by 332
- 2024MiniCheck: Efficient Fact-Checking of LLMs on Grounding Documentscited by 257
- 2019Massively Multilingual Neural Machine Translationcited by 246
- 2019ScispaCy: Fast and Robust Models for Biomedical Natural Language Processingcited by 244
- 2020Explainable Automated Fact-Checking for Public Health Claimscited by 211
- 2023Fact-Checking Complex Claims with Program-Guided Reasoningcited by 146
- 2023AVeriTeC: A Dataset for Real-world Claim Verification with Evidence from the Webcited by 144
- 2020Break It Down: A Question Understanding Benchmarkcited by 131
- 2023WiCE: Real-World Entailment for Claims in Wikipediacited by 120
- 2023Complex Claim Verification with Evidence Retrieved in the Wildcited by 110
- 2014Lazier Than Lazy Greedycited by 99
- 2023Towards LLM-based Fact Verification on News Claims with a Hierarchical Step-by-Step Prompting Methodcited by 97
- 2022Successive Prompting for Decomposing Complex Questionscited by 94
- 2022Generating Literal and Implied Subquestions to Fact-check Complex Claimscited by 66
- 2023SCITAB: A Challenging Benchmark for Compositional Reasoning and Claim Verification on Scientific Tablescited by 51
- 2021Fool Me Twice: Entailment from Wikipedia Gamificationcited by 50
- 2021AmbiFC: Fact-Checking Ambiguous Claims with Evidencecited by 38
- 2021FaVIQ: FAct Verification from Information-seeking Questionscited by 36
- 2023EX-FEVER: A Dataset for Multi-hop Explainable Fact Verificationcited by 36
- 2023QACHECK: A Demonstration System for Question-Guided Multi-Hop Fact-Checkingcited by 26
- 2026GanitLLM: Difficulty-Aware Bengali Mathematical Reasoning through Curriculum-GRPOcited by 6
- 2026PA3: Policy-Aware Agent Alignment through Chain-of-Thoughtcited by 4
Built on by
Citing papers per year: 2026: 2.
2 papers.
Similar, not cited
Close in wording, no citation either way
- 2026ThinknCheck: Grounded Claim Verification with Compact, Reasoning-Driven, and Interpretable Models
- 2026Distill and Align Decomposition for Enhanced Claim Verification
- 2024Self-Adaptive Paraphrasing and Preference Learning for Improved Claim Verifiability
- 2026Multi-Channel Mitigation of Source-Trust Shortcuts in Fact-Checking RL Agents
- 2025Optimizing Decomposition for Optimal Claim Verification
- 2025Veri-R1: Toward Precise and Faithful Claim Verification via Online Reinforcement Learning
- 2026CREDENCE: Claim Reduction for Decomposition & Enhanced Credibility -- Semantic Metrics and Convergence Analysis
- 2023Explainable Claim Verification via Knowledge-Grounded Reasoning with Large Language Models