BOOST: Bootstrapping Strategy-Driven Reasoning Programs for Program-Guided Fact-Checking
On the map: LLM reasoning → Reasoning benchmarks and evaluation
also in 1 more
Abstract (arXiv)
Large language model pipelines have improved automated fact-checking for complex claims, yet many approaches rely on few-shot in-context learning with demonstrations that require substantial human effort and domain expertise. Among these, program-guided reasoning, by decomposing claims into function calls and executing reasoning programs, which has shown particular promise, but remains limited by the need for manually crafted demonstrations. Fundamentally, the underlying principles of effective reasoning program generation still remain underexplored. In this work, we introduce BOOST, a bootstrapping approach for automated few-shot reasoning program generation. BOOST iteratively refines explicit, data-driven guidelines as meta-rules for guiding demonstration creation, using a critique-refine loop that eliminates the need for human intervention. This enables a seamless transition from zero-shot to few-shot program-guided learning, enhancing interpretability and effectiveness. Experimental results show that BOOST outperforms prior few-shot baselines in both zero-shot and few-shot settings for complex claim verification.
Key facts. Cited by 3 papers in the map (data through 7 Oct 2026). Placed in Reasoning benchmarks and evaluation, one of 17 directions in LLM reasoning. Builds on 9 of its 29 references that are in the map. First posted on arXiv 3 Apr 2025.
Builds on
9 of 29 references.
References · 9
- 2022Program of Thoughts Prompting: Disentangling Computation from Reasoning for Numerical Reasoning Taskscited by 1,057
- 2024M3-Embedding: Multi-Linguality, Multi-Functionality, Multi-Granularity Text Embeddings Through Self-Knowledge Distillationcited by 1,050
- 2023FacTool: Factuality Detection in Generative AI -- A Tool Augmented Framework for Multi-Task and Multi-Domain Scenarioscited by 247
- 2024VERISCORE: Evaluating the factuality of verifiable claims in long-form text generationcited by 114
- 2024Molecular Facts: Desiderata for Decontextualization in LLM Fact Verificationcited by 42
- 2024Decomposition Dilemmas: Does Claim Decomposition Boost or Burden Fact-Checking Performance?cited by 34
- 2024PromptWizard: Task-Aware Prompt Optimization Frameworkcited by 32
- 2024DnDScore: Decontextualization and Decomposition for Factuality Verification in Long-Form Text Generationcited by 22
- 2024Core: Robust Factual Precision with Informative Sub-Claim Identificationcited by 15
Built on by
Citing papers per year: 2025: 2; 2026: 1.
3 papers.
Similar, not cited
Close in wording, no citation either way
- 2023Fact-Checking Complex Claims with Program-Guided Reasoning
- 2024AIC CTU system at AVeriTeC: Re-framing automated fact-checking as a simple RAG task
- 2026Teaching Language Models to Check Grounded Claim Factuality with Human Test-Taking Strategies
- 2024JustiLM: Few-shot Justification Generation for Explainable Fact-Checking of Real-world Claims
- 2025Generating Verifiable Chain of Thoughts from Exection-Traces
- 2023Explainable Claim Verification via Knowledge-Grounded Reasoning with Large Language Models
- 2025Think Right, Not More: Test-Time Scaling for Numerical Claim Verification
- 2025STRIVE: Structured Reasoning for Self-Improvement in Claim Verification