paper-with-me

Papers

Verifying the Verifiers: Unveiling Pitfalls and Potentials in Fact Verifiers

2025-06-16 · Wooseok Seo, Seungju Han, JaeHun Jung, Benjamin Newman, Seungwon Lim, Seungbeen Lee, Ximing Lu, Yejin Choi, Youngjae Yu

Fact verification is essential for ensuring the reliability of LLM applications. In this study, we evaluate 12 pre-trained LLMs and one specialized fact-verifier, including frontier LLMs and open-weight reasoning LLMs, using a collection of examples from 14 fact-checking benchmarks. We share three findings intended to guide future development of more robust fact verifiers. First, we highlight the importance of addressing annotation errors and ambiguity in datasets, demonstrating that approximately 16\% of ambiguous or incorrectly labeled data substantially influences model rankings. Neglecting this issue may result in misleading conclusions during comparative evaluations, and we suggest using a systematic pipeline utilizing LLM-as-a-judge to help identify these issues at scale. Second, we discover that frontier LLMs with few-shot in-context examples, often overlooked in previous works, achieve top-tier performance. We therefore recommend future studies include comparisons with these simple yet highly effective baselines. Lastly, despite their effectiveness, frontier LLMs incur substantial costs, motivating the development of small, fine-tuned fact verifiers. We show that these small models still have room for improvement, particularly on instances that require complex reasoning. Encouragingly, we demonstrate that augmenting training with synthetic multi-hop reasoning data significantly enhances their capabilities in such instances. We release our code, model, and dataset at https://github.com/just1nseo/verifying-the-verifiers

📄 PDF Abstract BibTeX arXiv:2506.13342

Code (1)

just1nseo/verifying-the-verifiers 공식 구현

Tasks

Fact CheckingFact Verification

Similar Papers 제목 키워드 기반

An Empirical Study of LLM-Generated Specifications for VeriFast

2026-06-25 · Wen Fan, Minh Tran, Sanya Dod, Xin Hu 외 arxiv

Static verification tools can assure industrial scale software, but require significant human labor to write specifications. This is particularly true of static verifiers based on separation logic (SL verifiers), which e…

A Chain-of-Thought Is as Strong as Its Weakest Link: A Benchmark for Verifiers of Reasoning Chains

2024-02-01 · Alon Jacovi, Yonatan Bitton, Bernd Bohnet, Jonathan Herzig 외

Prompting language models to provide step-by-step answers (e.g., "Chain-of-Thought") is the prominent approach for complex reasoning tasks, where more accurate reasoning chains typically improve downstream task performan…

Open-Domain Question AnsweringQuestion Answering

Unveiling the Pitfalls of Knowledge Editing for Large Language Models

2023-10-03 · Zhoubo Li, Ningyu Zhang, Yunzhi Yao, Mengru Wang 외

As the cost associated with fine-tuning Large Language Models (LLMs) continues to rise, recent research efforts have pivoted towards developing methodologies to edit implicit knowledge embedded within LLMs. Yet, there's …

knowledge editing

DeepFact: Co-Evolving Benchmarks and Agents for Deep Research Factuality

2026-03-06 · Yukun Huang, Leonardo F. R. Ribeiro, Momchil Hardalov, Bhuwan Dhingra 외 arxiv

Search-augmented LLM agents can produce deep research reports (DRRs), but verifying claim-level factuality remains challenging. Existing fact-checkers are primarily designed for general-domain, factoid-style atomic claim…

Algorithmic Fairness Verification with Graphical Models

2021-09-20 · Bishwamittra Ghosh, Debabrota Basu, Kuldeep S. Meel

In recent years, machine learning (ML) algorithms have been deployed in safety-critical and high-stake decision-making, where the fairness of algorithms is of paramount importance. Fairness in ML centers on detecting bia…

Decision MakingFairness