MiniCheck: Efficient Fact-Checking of LLMs on Grounding Documents
Open accessAbstract
Recognizing if LLM output can be grounded in evidence is central to many tasks in NLP: retrieval-augmented generation, summarization, document-grounded dialogue, and more. Current approaches to this kind of fact-checking are based on verifying each piece of a model generation against potential evidence using an LLM. However, this process can be very computationally expensive, requiring many calls to a model to check a single response. In this work, we show how to build small fact-checking models that have GPT-4-level performance but for 400x lower cost. We do this by constructing synthetic training data with GPT-4, which involves creating realistic yet challenging instances of factual errors via a structured generation procedure. Training on this data teaches models to check each fact in the claim and recognize synthesis of information across sentences. For evaluation, we unify datasets from recent work on fact-checking and grounding LLM generations into a new benchmark, LLM-AggreFact. Our best system MiniCheck-FT5 (770M parameters) outperforms all systems of comparable size and reaches GPT-4 accuracy. We release LLM-AggreFact, code for data synthesis, and models.
AI snapshot
Written from the paper’s full text.
TL;DR
MiniCheck builds small fact-checking models trained on synthetic data that verify LLM claims against grounding documents, matching GPT-4-level accuracy on a new unified benchmark while being over 400× cheaper. The best model, MiniCheck-FT5 (770M parameters), outperforms prior specialized fact-checkers and does not require claim decomposition.
Key findings
- MiniCheck-FT5 achieves 74.7 average balanced accuracy on LLM-AGGREFACT without threshold tuning, compared with 70.4 for AlignScore (a 4.3% absolute improvement), and is close to GPT-4’s 75.3 and Claude-3 Opus’s 74.1.
- MiniCheck-FT5 has almost the same performance as GPT-4 but is more than 400× cheaper; on the 13K test set, GPT-4 costs $107 while MiniCheck-FT5 costs $0.24 under the paper’s GPU-hour pricing.
- The synthetic data improves three backbone architectures (RoBERTa, DeBERTa, Flan-T5); MiniCheck-FT5 outperforms AlignScore on 6 of 10 datasets and matches it on the remaining 4.
- Claim decomposition is not needed in these settings: GPT-4 changes by ↑0.3 average BAcc with decomposition, while MiniCheck-FT5 drops by 1.4; decontextualization also does not help on the benchmark, with MiniCheck-FT5 dropping 0.6.
Methods
- The authors construct synthetic training data with two methods: Claim-to-Doc (C2D), which decomposes human-written claims and uses GPT-4 to generate supporting and non-supporting documents, and Doc-to-Claim (D2C), which chunks human-written documents, summarizes chunks, and creates augmented claims and documents.
- MiniCheck models are fine-tuned on 14K synthetic datapoints plus a 21K subset of ANLI (35K total) using Flan-T5-large, DeBERTa-v3-large, and AlignScore’s tuned RoBERTa-large; training uses cross-entropy loss and a two-stage pipeline for the final models.
- Evaluation uses LLM-AGGREFACT, a new benchmark aggregating 10 human-annotated datasets across closed-book and grounded generation settings; performance is measured by balanced accuracy, with thresholds set at the midpoint of score ranges unless otherwise specified.
Limitations
- The paper states that the models do not reveal internal decision-making processes, making it hard to localize errors to particular claim or document spans; decomposition can help interpretability but is not a full solution.
- The paper states that the benchmark does not require reasoning over evidence significantly separated or spread across multiple documents, leaving multi-document reasoning as future work.
- The paper states that models are trained exclusively on English data and multilingual performance is not systematically assessed.
- The paper states that synthetic data quality is imperfect: automatic labels have 80% accuracy on C2D and 78% on D2C versus human annotator averages of 85% and 88%, with Fleiss’ Kappa of 0.51 for C2D and 0.70 for D2C.
Model-written summary. Check it against the paper before relying on it.
Integrity signals
Registry
Cites
Statistics
Claims the paper makes
33 of 55 cited sources checked · 23 supported · 0 flagged · accuracy not yet measured
- Findingown data
Decomposition of sentences into atomic facts is not necessary to achieve MiniCheck's high performance.
“Furthermore, we can do this without a separate claim decomposition step.”
Quote in the paperSubstantial claim3 of 3 sources checked- cites Kamoi et al., 2023 source
The “2.1 Claim-Split using LLMs” section describes decomposing claims before annotation, and Appendix D.1 describes a separate decomposition prompt. Our copy does not discuss MiniCheck or whether its performance can be achieved without a separate claim-decomposition step (searched: “without a separate claim decomposition step” and “MiniCheck high performance without decomposition atomic facts”). (LLM, conf=0.76)
Experimental — accuracy not yet measured - cites Gao et al., 2023 source
In “B Details on automated evaluation” (page not available), RARR says it uses sentences as claims rather than independently decomposing each sentence’s claims. That supports the feasibility of omitting a separate claim-decomposition step in RARR’s evaluation, but the paper does not establish that decomposition is unnecessary for MiniCheck’s high performance. (LLM, conf=0.83)
Experimental — accuracy not yet measured - cites Wang et al., 2023 source
The Fine-grained Annotation Framework (§2; page unavailable) describes decomposition as the first step of this paper’s fact-checking pipeline, and the Sentence split and atomic claims breaking-down section explains how it is performed. Neither passage assesses MiniCheck’s performance or whether MiniCheck can operate without a separate decomposition step (searched: MiniCheck, performance without decomposition). The paper’s use of decomposition does not establish what another system requires. (LLM, conf=0.72)
Experimental — accuracy not yet measured
- Premisecitation
Even when LLMs are provided with gold documents, such as in text summarization and simplification tasks, they still generate factually inconsistent outputs with diverse error types across different domains.
“Even when LLMs are provided with gold documents, such as in text summarization and simplification tasks, they still generate factually inconsistent outputs with diverse error types across different domains (Joseph et al., 2023;Shaib et al., 2023;Tang et al., 2024Tang et al., , 2023c)).”
Quote in the paperSubstantial claim1 of 3 sources checked- cites Joseph et al., 2023
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites Shaib et al., 2023
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites Tang et al., 2024 source
Section 3.1 (page not available) says the study selected source documents from two dialogue datasets, MediaSum and MeetingBank. Appendix D.2 reports factually inconsistent LLM-generated summaries, and Appendix G.2 describes annotations of multiple error types. The paper supports the claim for dialogue summarization, but does not establish it for text simplification or domains beyond those studied. (LLM, conf=0.88)
Experimental — accuracy not yet measured
- Premisecitation
In retrieval-augmented settings, LLMs may generate supplementary information that is not faithful to the provided documents.
“In retrieval-augmented settings, where models have access to external documents to provide responses to user queries, they may generate supplementary information that is not faithful to the provided documents (Chiesurin et al., 2023;Adlakha et al., 2023;Chen et al., 2024).”
Quote in the paperSubstantial claim2 of 3 sources checked - Premisecitation
Data in AGGREFACT comes from 9 factual consistency evaluation datasets on CNN or XSum, including SummaC, FRANK, and SummEval.
“Data in AG-GREFACT comes from 9 factual consistency evaluation datasets on CNN or XSum, including widely used ones such as SummaC (Laban et al., 2022), FRANK (Pagnoni et al., 2021), and SummEval (Fabbri et al., 2021).”
Quote in the paperNot a substantial claim2 of 3 sources checked - Premisecitation
Prior synthetic data generation methods such as entity swapping and sentence negation were designed to target specific error types that occurred in claims from earlier summarization models.
“These methods, such as entity swapping and sentence negation (Kryscinski et al., 2020;Goyal and Durrett, 2021), were designed to target specific error types that occurred in claims from earlier summarization models.”
Quote in the paperSubstantial claim1 of 2 sources checked- cites Kryscinski et al., 2020 source
- cites Goyal and Durrett, 2021
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Findingown data
MiniCheck substantially outperforms past fine-tuned systems like AlignScore.
“We show that MiniCheck can perform as well as GPT-4 in aggregate and substantially outperform past fine-tuned systems like AlignScore (Zha et al., 2023).”
Quote in the paperSubstantial claim0 of 1 sources checked- cites Zha et al., 2023 source
- Findingown data
LLM-AGGREFACT is a new benchmark that aggregates 10 existing datasets for closed-book and grounded generation settings.
“For evaluation, we unify datasets from recent work on factchecking and grounding LLM generations into a new benchmark, LLM-AGGREFACT.”
- Also stated in: § Fact-Checking on Grounding Documents · plain
“For our experiments, we introduce a new unified benchmark, LLM-AGGREFACT, which aggregates 10 existing datasets for both closed-book and grounded generation settings.”
Quote in the paperSubstantial claim - Also stated in: § Fact-Checking on Grounding Documents · plain
- Findingown data
MiniCheck models achieve GPT-4-level performance at 400x lower cost.
“we show how to build small fact-checking models that have GPT-4level performance but for 400x lower cost.”
- Also stated in: § 6.2 Computational Cost Comparison · plain
“In particular, our most capable model MiniCheck-FT5 has almost the same performance as GPT-4 but is more than 400 times cheaper.”
- Also stated in: § Fact-Checking on Grounding Documents · plain
“is on par with GPT-4 with a much smaller model size, faster inference speed, and 400 times less cost.”
Quote in the paperSubstantial claim - Also stated in: § 6.2 Computational Cost Comparison · plain
- Findingnone given
In each constituent dataset of LLM-AGGREFACT, sentence-level factual errors are labeled by human annotators.
“In each constituent dataset, sentence-level factual errors are labeled by human annotators.”
- Also stated in: § 4 LLM-AGGREFACT Benchmark · plain
“In LLM-AGGREFACT, all datasets contain human-annotated (document, claim, label) tuples.”
Quote in the paperSubstantial claim - Also stated in: § 4 LLM-AGGREFACT Benchmark · plain
- Findingown data
MiniCheck-FT5 (770M parameters) outperforms all systems of comparable size.
“Our best system MiniCheck-FT5 (770M parameters) outperforms all systems of comparable size and reaches GPT-4 accuracy.”
Quote in the paperSubstantial claim - Findingown data
There are still gaps between the optimal performance and that achieved by other specialized fact-checkers in Figure 5.
“We observe that there are still gaps between the optimal performance and that achieved by other specialized fact-checkers in Figure 5.”
Quote in the paperNot a substantial claim - Findingnone given
The effectiveness of our synthetic data is demonstrated by the improved performance when training on it across various model architectures.
“The effectiveness of our synthetic data is demonstrated by the improved performance when training on it across various model architectures.”
Quote in the paperNot a substantial claim - Findingown data
Our models show better performance compared to other specialized fact-checkers when using claim decomposition method.
“Our models show better performance compared to other specialized fact-checkers when using this claim decomposition method (Table 5), but this method can give greater interpretability.”
Quote in the paperNot a substantial claim - Findingown data
Our models achieve performance on par with the most capable LLM-based fact-checkers.
“Our models achieve performance on par with the most capable LLM-based fact-checkers.”
Quote in the paperSubstantial claim - Findingown data
Decoding the test set with the most capable models incurs significant cost.
“Overall, decoding our test set with the most capable models incurs significant cost.”
Quote in the paperSubstantial claim - Findingown data
These models outperform prior models of a similar scale.
“These models outperform prior models of a similar scale.”
Quote in the paperSubstantial claim - Findingown data
We can improve Align-Score's performance on the benchmark by finetuning it on this small amount of data, effectively equipping it with the desired properties.
“As shown in Table 2, we can improve Align-Score's performance on the benchmark by finetuning it on this small amount of data, effectively equipping it with the desired properties.”
Quote in the paperNot a substantial claim - Findingown data
The two types of synthetic data complement each other.
“The results, presented in Table 6, reveal that the two types of synthetic data complement each other.”
Quote in the paperSubstantial claim - Findingnone given
Training on more than 21K of ANLI data was not effective.
“Training on more of ANLI was not effective.”
Quote in the paperNot a substantial claim - Findingown data
MiniCheck-RBTA and MiniCheck-DBTA surpass non-frontier LLM-based fact-checkers by a large margin.
“MiniCheck-RBTA and MiniCheck-DBTA can surpass these non-frontier LLM-based fact-checkers by a large margin.”
Quote in the paperSubstantial claim - Findingown data
The paper contributes a new benchmark unifying factual evaluation on closed-book and grounded generation settings.
“(2) A new benchmark unifying factual evaluation on closed-book and grounded generation settings.”
Quote in the paperSubstantial claim - Findingown data
MiniCheck beats previous specialized systems by 4% to 10% in absolute values.
“(3) Evaluation shows that our MiniCheck system can beat previous specialized systems by 4% to 10% in absolute values, despite using less finetuning data, and is on par with GPT-4 with a much smaller model size, faster inference speed, and 400 times less cost.”
Quote in the paperSubstantial claim - Findingown data
Models trained on synthetic data with simplified construction steps (C2D-SIMP and D2C-SIMP) fail to develop the desired properties we expect.
“We observe that models trained on synthetic data with simplified construction steps (C2D-SIMP and D2C-SIMP) fail to develop the desired properties we expect.”
Quote in the paperSubstantial claim - Findingnone given
The model trained on 163K ANLI data points fails to reach the performance of models trained solely on 7K synthetic data.
“Additionally, we note that the model trained on 163K ANLI data points fail to reach the performance of models trained solely on 7K synthetic data.”
Quote in the paperSubstantial claim - Findingown data
FT5-D2C-S performs even worse than random chance on the held-out set of C2D.
“FT5-D2C-S performs even worse than random chance on the held-out set of C2D.”
Quote in the paperSubstantial claim - Findingown data
Claim decomposition increases inference time and costs by a factor of 2-4 for different datasets, depending on the average number of atomic facts per claim.
“Because this approach increases the inference time and costs by a factor of 2-4 for different datasets, depending on the average number of atomic facts per claim, we believe it should not be used until it provides a clear accuracy benefit.”
Quote in the paperSubstantial claim - Findingown data
MiniCheck uses less finetuning data than previous specialized systems.
“(3) Evaluation shows that our MiniCheck system can beat previous specialized systems by 4% to 10% in absolute values, despite using less finetuning data, and is on par with GPT-4 with a much smaller model size, faster inference speed, and 400 times less cost.”
Quote in the paperSubstantial claim - Findingown data
Specialized models in general have much lower inference costs than LLM-based fact-checkers.
“We see that specialized models in general have much lower inference costs.”
Quote in the paperSubstantial claim - Findingown data
Training on our synthetic data improves performance across diverse model architectures.
“Our synthetic data improves performance across diverse model architectures.”
Quote in the paperSubstantial claim - Findingown data
Using a pair of sentences to support a fact is a simple method that yields useful training data for our models.
“We find that using a pair of sentences to support a fact is a simple method that yields useful training data for our models.”
Quote in the paperSubstantial claim - Findingown data
MiniCheck has faster inference speed than GPT-4.
“(3) Evaluation shows that our MiniCheck system can beat previous specialized systems by 4% to 10% in absolute values, despite using less finetuning data, and is on par with GPT-4 with a much smaller model size, faster inference speed, and 400 times less cost.”
Quote in the paperSubstantial claim - Findingnone given
The paper contributes two synthetic data generation methods to address the challenges of fact-checking on grounding documents.
“(1) Two synthetic data generation methods to address the challenges of fact-checking on grounding documents.”
Quote in the paperSubstantial claim - Findingown data
Our synthetic data gives strong performance when used in three different backbone models: RoBERTa, DeBERTa, and Flan-T5.
“Table 2 demonstrates that our synthetic data gives strong performance when used in three different backbone models: RoBERTa, DeBERTa, and Flan-T5.”
Quote in the paperSubstantial claim - Findingown data
The model performs poorly when trained solely on the ANLI subset, with a performance drop of nearly 10% in the absence of threshold tuning.
“Notably, the model performs poorly when trained solely on the ANLI subset, with a performance drop of nearly 10% in the absence of threshold tuning.”
Quote in the paperSubstantial claim - Findingown data
The inference cost on the TOFUEVAL test set can be reduced from $16.7 to $6.72 with this method.
“The inference cost on the TOFUEVAL test set can be reduced from $16.7 to $6.72 with this method.”
Quote in the paperSubstantial claim - Findingown data
AlignScore achieves the highest overall performance (72.2%) on LLM-LLM-AGGREFACT (decomposition without threshold tuning).
“AlignScore achieves the highest overall performance (72.2%) on LLM-LLM-AGGREFACT (decomposition -without threshold tuning)”
Quote in the paperNot a substantial claim - Findingown data
The performance of specialized fact-checkers decreases without threshold tuning.
“Comparing Table 2 with Table 7, we see that the performance of specialized fact-checkers decreases without threshold tuning.”
Quote in the paperSubstantial claim - Findingown data
GPT4-Full achieves performance similar to predicting the factual label for each summary sentence individually.
“Table 10 shows that GPT4-Full achieves performance similar to predicting the factual label for each summary sentence individually.”
Quote in the paperSubstantial claim - Findingown data
The claim decontextualization step adds a non-negligible amount of cost.
“Note that the claim decontextualization step add a non-negligible amount of cost, as shown in Table 4.”
Quote in the paperNot a substantial claim - Findingreasoning
Following the training pipeline of fine-tuning on respective training data excluding 7K D2C synthetic data, then fine-tuning on 7K D2C synthetic data for 1 epoch, consistently yields higher performance across all three backbone models compared to training on all data simultaneously.
“We observe that following this training pipeline consistently yields higher performance across all three backbone models compared to training on all data simultaneously.”
Quote in the paperSubstantial claim - Findingown data
This boost in performance is attained using a dataset that constitutes less than 0.3% of the total data on which AlignScore was initially trained.
“Remarkably, this boost in performance is attained using a dataset that constitutes less than 0.3% of the total data on which AlignScore was initially trained (Table 3).”
Quote in the paperSubstantial claim - Findingown data
MiniCheck-FT5 achieves an average BAcc of 75.1 on the LLM-AGGREFACT test set with threshold tuning.
“MiniCheck-FT5 71.5”
- Also stated in: § Your turn: Provided Claim: [CLAIM] · plain
“84.4 75.1”
Quote in the paperNot a substantial claim - Also stated in: § Your turn: Provided Claim: [CLAIM] · plain
- Findingown data
By fine-tuning AlignScore's backbone RoBERTa model on our 14K synthetic data (MiniCheck-RBTA), we surpass AlignScore's performance by 1.5%.
“However, by fine-tuning AlignScore's backbone RoBERTa model on our 14K synthetic data (MiniCheck-RBTA), we surpass AlignScore's performance by 1.5%.”
Quote in the paperSubstantial claim - Findingown data
Our models achieve new state-of-the-art among specialized models under the threshold tuning setting.
“Overall, our models achieve new state-of-the-art among specialized models under the threshold tuning setting.”
Quote in the paperSubstantial claim - Findingnone given
This improvement is more significant in the setting without threshold tuning.
“This improvement is more significant in the setting without threshold tuning (Section 6).”
Quote in the paperNot a substantial claim - Findingown data
The BOTH model's average performance drops from 69.1 to 59.9 without threshold tuning.
“BOTH drops from 69.1 to 59.9 without threshold tuning.”
Quote in the paperNot a substantial claim - Findingnone given
During the atomic fact expansion step (step 2), 6% of the final generated sentence pairs, when combined, could not support the original atomic fact.
“During the atomic fact expansion step (step 2), 6% of the final generated sentence pairs, when combined, could not support the original atomic fact.”
Quote in the paperNot a substantial claim - Findingown data
Decomposition may not be necessary for entailment checks.
“Decomposition may still be necessary to retrieve the relevant information, but our results show that it may not be necessary for entailment checks.”
Quote in the paperSubstantial claim - Findingown data
GPT-4 can follow the instruction not to state deduced facts or conclusions based on the provided sentences well.
“We ask GPT-4 to not state deduced facts or conclusions based on the provided sentences, and we find that GPT-4 can follow this instruction well.”
Quote in the paperNot a substantial claim - Interpretationreasoning
Synthesizing challenging fact-checking instances from the ground up is a scalable way to teach a small model to simultaneously verify multiple facts in a sentence against multiple sentences in grounding documents.
“As a result, we synthesize challenging fact-checking instances from the ground up, as a scalable way to teach a small model how to simultaneously verify multiple facts in a sentence against multiple sentences in grounding documents.”
Quote in the paperSubstantial claim - Interpretationreasoning
The key insight is to develop a new synthetic training dataset tailored to the complexities of the fact-checking task.
“Our key insight is to develop a new synthetic training dataset which is tailored to the complexities of the fact-checking task.”
Quote in the paperSubstantial claim - Interpretationreasoning
MiniCheck-FT5's additional 2% gain over MiniCheck-RBTA and -DBTA is attributed to its larger model size.
“We attribute its additional 2% gain over MiniCheck-RBTA and -DBTA to its larger model size.”
Quote in the paperNot a substantial claim - Interpretationown data
Synthetic data needs to be carefully constructed for a fact-checker to work well.
“Synthetic data needs to be carefully constructed for an fact-checker to work well.”
Quote in the paperSubstantial claim - Interpretationreasoning
Omitting one sentence from a sentence pair in a newly generated document likely makes the atomic fact and the claim unsupported, except in cases of redundancy.
“Therefore, by omitting one of the sentences from the pair in a newly generated document D ′ , it is likely that a i , and consequently c, is no longer supported by D ′ (except in cases of redundancy in the sentences s).”
Quote in the paperSubstantial claim - Interpretationreasoning
Chunks not used to generate a claim are more challenging to support or refute the claim or its atomic facts.
“Therefore, we consider chunks D j , where j ̸ = i, as more challenging chunks to either support or refute the claim c i or its atomic facts a i .”
Quote in the paperSubstantial claim - Interpretationreasoning
Our work differs from prior entailment datasets in its handbuilt, synthetic nature to encourage multi-sentence and multi-fact reasoning, which is important to the task of fact-checking on grounding documents.
“Our work differs from these in its handbuilt, synthetic nature to encourage multi-sentence and multi-fact reasoning, which is important to the task of fact-checking on grounding documents.”
Quote in the paperSubstantial claim - Interpretationreasoning
The authors do not use per-dataset threshold tuning in order to focus on zero-shot deployment across multiple downstream tasks.
“However, we do not follow this trend in order to focus on building systems that can be deployed zero-shot across multiple downstream tasks, without any additional hyperparameter tuning.”
Quote in the paperSubstantial claim - Interpretationown data
Models may make decent guesses about context-dependent content, particularly when the retrieval stage already implicitly enforces shared context between the claim and the grounding documents.
“These results suggest that models may make decent guesses about context-dependent content, particularly when the retrieval stage already implicitly enforces shared context between the claim and the grounding documents.”
Quote in the paperNot a substantial claim - Interpretationown data
Training data selection is important in addition to model capacity.
“This underscores the importance of training data selection in addition to model capacity.”
Quote in the paperSubstantial claim - Premisecitation
AlignScore is the existing state-of-the-art specialized fact-checking model.
“We also explore whether it is possible to improve upon the previous AlignScore (Zha et al., 2023) system, the existing SOTA specialized fact-checking model.”
Quote in the paperSubstantial claim0 of 1 sources checked- cites Zha et al., 2023 source
- Interpretationown data
Our synthetic data generation methods can effectively encourage models to pay more attention to multiple atomic facts and reason over multiple sentences, even with a limited amount of training data.
“Our synthetic data generation methods can effectively encourage models to pay more attention to multiple atomic facts and reason over multiple sentences, even with a limited amount of training data.”
Quote in the paperSubstantial claim - Interpretationown data
Curated synthetic data has the potential to enhance the performance of state-of-the-art fact-checkers.
“This finding highlights the potential of curated synthetic data in enhancing the performance of state-of-the-art fact-checkers.”
Quote in the paperSubstantial claim - Interpretationown data
Our data is useful for training in spite of these subjective examples.
“Our results show that our data is useful for training in spite of these subjective examples.”
Quote in the paperSubstantial claim - Interpretationown data
When a grounding document is relevant to multiple sentences in a response, it becomes feasible to ask an LLM-based fact-checker to simultaneously predict the factuality labels for all sentences, thereby reducing cost.
“When a grounding document is relevant to multiple sentences in a response, it becomes feasible to ask an LLM-based fact-checker to simultaneously predict the factuality labels for all sentences, thereby reducing cost.”
Quote in the paperSubstantial claim - Premisecitation
Summaries generated from SOTA finetuned summarizers are more challenging to evaluate for factual consistency compared to summaries generated by pre-SOTA summarizers.
“Our focus is on the SOTA sets within AGGREFACT, where summaries are generated from SOTA finetuned summarizers, since their analysis suggests that summaries are more challenging to evaluate for factual consistency compared to summaries generated by pre-SOTA summarizers.”
Quote in the paperSubstantial claim0 of 1 sources checked- cites Tang et al., 2023a
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Interpretationcitation
As errors from generative models progress and new error types emerge from LLMs, focusing on specific error types may not generalize well to unseen datasets with potentially novel errors.
“However, as errors from generative models progress (Tang et al., 2023a) and new error types emerge from LLMs, focusing on specific error types may not generalize well to unseen datasets with potentially novel errors.”
Quote in the paperNot a substantial claim0 of 1 sources checked- cites Tang et al., 2023a
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- Classified as probably not a substantial claim. 53
- May combine two claims. 44
- The quote only partly states this claim. 1
Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.
PremisecitationFActScore biographies contain 26-41 atomic facts checked against 5 documents each, resulting in 130-205 entailment checks.
“For instance, the 110-150 word biographies in FActScore (Min et al., 2023) contain 26-41 atomic facts that are checked against 5 documents each, resulting in 130-205 entailment checks.”
Quote in the paperNot a substantial claim1 of 1 sources checked- cites Min et al., 2023 source
Section 3.3 (p. 4) reports averages of 26.3–40.8 atomic facts per biography, but gives response lengths in tokens, not words. Section B.1 (p. 17) says the automated evaluator retrieves five passages from the subject’s Wikipedia page, not five documents; Section 4.1 (p. 6) says it combines those passages into one prompt per fact. The paper therefore does not support 130–205 separate entailment checks. (LLM, conf=0.90)
Experimental — accuracy not yet measured
May combine two claims.
PremisecitationMost prior entailment datasets have been human-authored, which is known to introduce artifacts, or collected in the wild, which is challenging to scale.
“Most prior entailment datasets have been human-authored (Bowman et al., 2015;Williams et al., 2018), which is known to introduce artifacts (Gururangan et al., 2018), or collected in the wild (Kamoi et al., 2023), which is challenging to scale.”
Quote in the paperSubstantial claim2 of 3 sources checkedClassified as probably not a substantial claim. May combine two claims.
PremisecitationSentences generally need context to be understood, but this can be resolved through a decontextualization step.
“In general, sentences do need context to be understood (e.g., most sentences starting with pronouns), but this can be resolved through the use of a decontextualization step (Choi et al., 2021).”
Quote in the paperSubstantial claim1 of 1 sources checked- cites Choi et al., 2021 source
Probably not a substantial claim: may not pass S3 (load-bearing).
PremisecitationCLAIMVERIFY evaluates the correctness of responses from four generative search engines in answering user queries.
“CLAIMVERIFY (Liu et al., 2023) evaluates the correctness of responses from four generative search engines in answering user queries.”
Quote in the paperNot a substantial claim1 of 1 sources checked- cites Liu et al., 2023 source
Section 3.1 (p. 4) confirms that the study evaluates responses from four generative search engines to user queries. But the Limitations section (p. 10) says it assesses verifiability, not whether responses are factually correct. Our copy also does not identify the evaluation as CLAIMVERIFY. (LLM, conf=0.86)
Experimental — accuracy not yet measured
Probably not a substantial claim: may not pass S3 (load-bearing).
PremisecitationREVEAL is a benchmark dataset that evaluates the correctness of reasoning chains generated by LLMs in the context of opendomain question-answering.
“REVEAL (Jacovi et al., 2024) is a benchmark dataset that evaluates the correctness of reasoning chains generated by LLMs in the context of opendomain question-answering.”
Quote in the paperNot a substantial claim1 of 1 sources checked- cites Jacovi et al., 2024 source
Probably not a substantial claim: may not pass S3 (load-bearing).
PremisecitationMalaviya et al. (2024) directly search for relevant documents for each sentence as a whole.
“Malaviya et al. (2024) directly search for relevant documents for each sentence as a whole.”
Quote in the paperNot a substantial claim1 of 1 sources checked- cites Malaviya et al. (2024) source
Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.
PremisecitationFACTSCORE contains naturally generated biographies from LLMs and has human-annotated labels of individual atomic facts.
“FACTSCORE (Min et al., 2023) contains naturally generated biographies from LLMs and has human-annotated labels of individual atomic facts.”
Quote in the paperNot a substantial claim1 of 1 sources checked- cites Min et al., 2023 source
Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.
PremisecitationTOFUEVAL is a factual consistency evaluation benchmark for dialogue summarization, targeting MediaSum and MeetingBank.
“TOFUEVAL (Tang et al., 2024) is a factual consistency evaluation benchmark for dialogue summarization, targeting MediaSum (interviews, Zhu et al. (2021)) and MeetingBank (city council meetings, Hu et al. (2023)).”
Quote in the paperNot a substantial claim1 of 3 sources checked- cites Tang et al., 2024 source
- cites Zhu et al., 2021
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites Hu et al., 2023
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Probably not a substantial claim: may not pass S3 (load-bearing).
PremisecitationGao et al. (2023), Min et al. (2023), and Wang et al. (2023) decompose each generated sentence into atomic facts and then search for relevant documents to support each atomic fact.
“Gao et al. (2023); Min et al. (2023); Wang et al. (2023) decompose each generated sentence into atomic facts and then search for relevant documents to support each atomic fact.”
Quote in the paperNot a substantial claim3 of 3 sources checked- cites Gao et al. (2023) source
The Query generation section says RARR generates questions covering aspects of a passage and retrieves web evidence for each question. It does not say RARR decomposes each sentence into atomic facts; Appendix B instead says it uses sentences as claims for evaluation. (LLM, conf=0.88)
Experimental — accuracy not yet measured - cites Min et al. (2023) source
- cites Wang et al. (2023) source
Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.
PremisecitationAGGREFACT is a factual consistency evaluation benchmark for new summarization, targeting CNN(/DM) and XSum.
“AGGREFACT (Tang et al., 2023a) is a factual consistency evaluation benchmark for new summarization, targeting CNN(/DM) (Nallapati et al., 2016) and XSum (Narayan et al., 2018).”
Quote in the paperNot a substantial claim2 of 3 sources checkedProbably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.
PremisecitationTOFUEVAL includes topic-focused dialogue summaries generated by 6 LLMs, with sentence-level factual consistency annotations by linguists.
“It includes topic-focused dialogue summaries generated by 6 LLMs, with sentence-level factual consistency annotations by linguists.”
Quote in the paperNot a substantial claim1 of 1 sources checked- cites Tang et al., 2024 source
Section 3.3 says TOFUEVAL contains topic-focused summaries generated by five LLMs, not six. The Expert Linguists passage confirms that professional linguistic annotators evaluated the factuality of individual summary sentences. (LLM, conf=0.95)
Experimental — accuracy not yet measured
Probably not a substantial claim: may not pass S3 (load-bearing).
PremisecitationWICE is a textual entailment dataset that consists of naturally occurring claims from Wikipedia and their cited documents.
“WICE (Kamoi et al., 2023) is a textual entailment dataset that consists of naturally occurring claims from Wikipedia and their cited documents.”
Quote in the paperNot a substantial claim1 of 1 sources checked- cites Kamoi et al., 2023 source
Probably not a substantial claim: may not pass S3 (load-bearing).
PremisecitationEXPERTQA contains responses from 6 different systems to queries curated by experts from 32 fields.
“EXPERTQA (Malaviya et al., 2024) contains responses from 6 different systems to queries curated by experts from 32 fields.”
Quote in the paperNot a substantial claim1 of 1 sources checked- cites Malaviya et al., 2024 source
Probably not a substantial claim: may not pass S3 (load-bearing).
PremisecitationFACTCHECK-GPT contains factual consistency annotations for LLMs' responses to search queries.
“FACTCHECK-GPT (Wang et al., 2023) contains factual consistency annotations for LLMs' responses to search queries.”
Quote in the paperNot a substantial claim1 of 1 sources checked- cites Wang et al., 2023 source
The Summary reports factual labels and revisions for 94 ChatGPT prompt–response pairs, supporting the claim that FACTCHECK-GPT contains factuality annotations of LLM responses. Section 3.1 describes the prompts as questions collected from user reports and QA datasets; it does not identify them as search queries. (LLM, conf=0.83)
Experimental — accuracy not yet measured
Probably not a substantial claim: may not pass S3 (load-bearing).
PremisecitationLFQA contains LLMgenerated responses to questions from the ELI5 dataset.
“LFQA (Chen et al., 2023) contains LLMgenerated responses to questions from the ELI5 (”
Quote in the paperNot a substantial claim2 of 2 sources checked- cites Chen et al., 2023 source
The Dataset section says the questions come from ELI5, and the Data Collection section describes model-generated answers to those questions. But the paper names its released dataset SALAD; it uses LFQA to mean the long-form question-answering task, not the dataset. (LLM, conf=0.85)
Experimental — accuracy not yet measured - cites Fan et al., 2019 source
Probably not a substantial claim: may not pass S3 (load-bearing).
PremisecitationIn the closed-book setting, where LLMs rely solely on their parametric knowledge, they may fabricate details when describing biographies or providing Wikipedia entity information.
“For example, in the closed-book setting, where LLMs rely solely on their parametric knowledge, they may fabricate details when describing biographies or providing Wikipedia entity information(Min et al., 2023;Guan et al., 2023;Mallen”
Quote in the paperNot a substantial claim2 of 3 sources checkedClassified as probably not a substantial claim. May combine two claims.
PremisecitationLLMs are prone to hallucinations across various settings, generating information that cannot be supported by any source.
“LLMs are prone to hallucinations across various settings(Huang et al., 2023; Zhang et al., 2023b;Rawte et al., 2023), generating information that cannot be supported by any source.”
Quote in the paperSubstantial claim2 of 3 sources checkedMay combine two claims.
Findingown dataBoth decontextualization and decomposition add cost to GPT-4.
“Both decontextualization and decomposition add cost to GPT-4.”
Quote in the paperSubstantial claimMay combine two claims.
Findingown dataThe addition of either 7K C2D or 7K D2C to the training data significantly enhances the model's performance and robustness.
“However, the addition of either 7K C2D or 7K D2C to the training data significantly enhances the model's performance and”
Quote in the paperSubstantial claimMay combine two claims.
Findingown dataThe average across the three annotators' accuracies was 85% on C2D and 88% on D2C.
“We calculated similar accuracy values for the human annotators, and the average across the three annotators' accuracies was 85% on C2D and 88% on D2C.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S4 (based). May combine two claims.
Findingnone givenMost fact-checkers return scores at the extremes of the range, so small tweaks to the threshold procedure have little effect.
“In practice, most fact-checkers return scores at the extremes of the range, so small tweaks on this procedure have little effect.”
Quote in the paperNot a substantial claimMay combine two claims.
Findingown dataClaim decomposition causes near-zero performance change for GPT-4 and mixed changes for specialized fact-checkers.
“We observe near-zero performance change for GPT-4 and mixed changes for specialized fact-checkers.”
Quote in the paperSubstantial claimMay combine two claims.
Findingown dataModels trained on C2D and D2C outperform all other fact-checkers on the OOD held-out set of D2C and C2D, respectively.
“In contrast, models trained on C2D and D2C outperform all other fact-checkers on the OOD held-out set of D2C and C2D, respectively.”
Quote in the paperSubstantial claimMay combine two claims.
Findingnone givenOur best model can match GPT-4 performance and perform well in all settings without doing sentence decomposition.
“We show that our best model can match GPT-4 performance and perform well in all settings without doing sentence decomposition.”
Quote in the paperSubstantial claimMay combine two claims.
Findingown dataModel size alone does not guarantee superior performance, as T5-NLI-Mixed and FT5-ANLI-L underperform on most benchmark settings despite being trained on NLI datasets.
“However, model size alone does not guarantee superior performance, as evidenced by T5-NLI-Mixed and FT5-ANLI-L, which, despite being trained on NLI datasets, underperform on most of the benchmark settings.”
Quote in the paperSubstantial claimProbably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.
Findingown dataThe documents in LLM-AGGREFACT come from diverse sources including Wikipedia paragraphs, interviews, and web text, covering news, dialogue, science, and healthcare.
“The documents come from diverse sources, including Wikipedia paragraphs, interviews, web text, covering domains such as news, dialogue, science, and healthcare.”
Quote in the paperNot a substantial claimMay combine two claims.
Findingown dataA model fine-tuned on our synthetic data outperforms all prior specialized factcheckers on LLM-AGGREFACT, while being much cheaper than LLM-based fact-checkers.
“A model fine-tuned on our synthetic data outperforms all prior specialized factcheckers on LLM-AGGREFACT, while being much cheaper than LLM-based fact-checkers.”
Quote in the paperSubstantial claimProbably not a substantial claim: may not pass S3 (load-bearing).
Findingown dataThe threshold tuning setting yields qualitatively similar results.
“See Appendix B.1 for the results of the threshold tuning setting, which yields qualitatively similar results.”
Quote in the paperNot a substantial claimMay combine two claims.
Findingown dataRespectively, 33%, 33%, 39%, 11%, 35%, 47%, and 57% of the claims from TOFUEVAL-MediaS, TOFUEVAL-MeetB, WICE, REVEAL, CLAIMVERIFY, EXPERTQA and LFQA are changed after decontextualization.
“Respectively, 33%, 33%, 39%, 11%, 35%, 47%, and 57% of the claims from those datasets are changed after decontextualization.”
Quote in the paperSubstantial claimClassified as probably not a substantial claim.
Findingnone givenBy construction, an atomic fact in the claim is supported by its sentence pair in the generated document.
“By construction, an atomic fact a i in the claim c is supported by the sentence pair (s i,1 , s i,2 ) mentioned in the generated document D.”
Quote in the paperSubstantial claimClassified as probably not a substantial claim.
Findingnone givenIn the generated sentence pairs, an atomic fact is supported if and only if information from both sentences is combined.
“The generated sentence pairs are designed such that the atomic fact is supported if and only if the information from both sentences is combined.”
Quote in the paperSubstantial claimMay combine two claims.
Findingown dataCompared to ground truth labels, the labels given to our training samples have an accuracy of 80% on C2D and 78% on D2C, respectively.
“Compared to these ground truth labels, the labels given to our training samples have an accuracy of 80% on C2D and 78% on D2C, respectively.”
Quote in the paperNot a substantial claimMay combine two claims.
Findingown dataAlign-Score demonstrates the best performance among the four specialized metrics, but its performance can still be outperformed by FT5-C2D and FT5-D2C.
“Notably, Align-Score demonstrates the best performance among the four specialized metrics, but its performance can still be outperformed by FT5-C2D and FT5-D2C.”
Quote in the paperNot a substantial claimMay combine two claims.
Findingown dataAmong the three annotators, annotation agreement using Fleiss' Kappa was 0.51 for the C2D samples and 0.70 on the D2C samples, indicating moderate to substantial agreement.
“Among the three annotators, we computed an annotation agreement using Fleiss' Kappa, obtaining a score of 0.51 for the C2D samples and 0.70 on the D2C samples, indicating moderate to substantial agreement.”
Quote in the paperNot a substantial claimMay combine two claims.
Findingown dataMiniCheck-FT5 achieves a 4.3% overall improvement over AlignScore, outperforming it on 6 out of 10 datasets and matching its performance on the remaining 4.
“Notably, MiniCheck-FT5 achieves a 4.3% overall improvement over AlignScore, outperforming it on 6 out of 10 datasets and matching its performance on the remaining 4.”
Quote in the paperSubstantial claimProbably not a substantial claim: may not pass S4 (based).
Findingnone givenThere are typically 2-4 atomic facts per claim across datasets.
“There are typically 2-4 atomic facts per claim across datasets.”
Quote in the paperNot a substantial claimClassified as probably not a substantial claim.
Findingnone givenThe same claim can be both supported and unsupported by documents.
“The same claim can be both supported (S) and unsupported (U) by documents”
Quote in the paperSubstantial claimMay combine two claims.
Findingown dataMiniCheck-DBTA uses 35K training data and costs $0.20 on the 13K LLM-AGGREFACT test set.
“MiniCheck-RBTA AlignScore 355M MiniCheck-DBTA DeBERTa-L 355M MiniCheck-FT5 Flan-T5-L 770M | 14K 35K 35K | 0.20 0.20 0.24”
Quote in the paperSubstantial claimMay combine two claims.
Findingown dataMiniCheck-FT5 only drops by 0.4% compared to larger drops for other systems, such as 9.2% for SummaC-CV.
“However, MiniCheck-FT5 only drops by 0.4% compared to larger drops for other systems, such as 9.2% for SummaC-CV.”
Quote in the paperSubstantial claimMay combine two claims.
Findingown dataMiniCheck-FT5 uses 35K training data and costs $0.24 on the 13K LLM-AGGREFACT test set.
“MiniCheck-RBTA AlignScore 355M MiniCheck-DBTA DeBERTa-L 355M MiniCheck-FT5 Flan-T5-L 770M | 14K 35K 35K | 0.20 0.20 0.24”
Quote in the paperSubstantial claimMay combine two claims.
Findingown dataFor the non-supporting document generation step (step 4), 53% of the final documents still supported the claim, and these documents were not included in our constructed data.
“For the non-supporting document generation step (step 4), 53% of the final documents still supported the claim, and these documents were not included in our constructed data.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S1 (asserted), S3 (load-bearing).
Findingown dataMiniCheck-FT5 achieves an average BAcc of 74.7 on the LLM-AGGREFACT test set without threshold tuning.
“MiniCheck-FT5 69.9”
- Also stated in: § Your turn: Provided Claim: [CLAIM] · plain
“85.2 74.7”
Quote in the paperNot a substantial claim- Also stated in: § Your turn: Provided Claim: [CLAIM] · plain
May combine two claims.
Findingown dataMiniCheck-RBTA uses 14K training data and costs $0.20 on the 13K LLM-AGGREFACT test set.
“MiniCheck-RBTA AlignScore 355M MiniCheck-DBTA DeBERTa-L 355M MiniCheck-FT5 Flan-T5-L 770M | 14K 35K 35K | 0.20 0.20 0.24”
Quote in the paperSubstantial claimProbably not a substantial claim: may not pass S3 (load-bearing).
Findingnone givenIn the D2C example, the same claim can be supported by both its directly associated document chunk (chunk 2) and a separate chunk (chunk 1) originating from the same document, which has been divided into three distinct chunks.
“The same claim (summary sentence) can be supported by both its directly associated document chunk (chunk 2) and a separate chunk (chunk 1) originating from the same document, which has been divided into three distinct chunks.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S3 (load-bearing), S4 (based). May combine two claims.
Findingown dataAs the generated supporting documents for a given claim tend to be similar despite adjusting the model temperature, we do not generate multiple supporting documents for c.
“As the generated supporting documents for a given claim tend to be similar despite adjusting the model temperature, we do not generate multiple supporting documents for c.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S3 (load-bearing).
Findingown dataIn the supporting document generation step (step 3), 5% of the final documents failed the entailment check.
“In the supporting document generation step (step 3), 5% of the final documents failed the entailment check.”
Quote in the paperNot a substantial claimMay combine two claims.
Findingown dataUsing paragraph-level segmentation instead of sentence-level segmentation improves overall performance and accelerates inference speed.
“We find this change not only improves the overall performance but also accelerates inference speed.”
Quote in the paperSubstantial claimMay combine two claims.
InterpretationreasoningTraining on the synthetic data teaches models to check each fact in a claim and recognize synthesis of information across sentences.
“Training on this data teaches models to check each fact in the claim and recognize synthesis of information across sentences.”
Quote in the paperSubstantial claimProbably not a substantial claim: may not pass S4 (based).
InterpretationreasoningIt is probable that a chunk's summary conveys some information that can be indirectly supported by other chunks in the document, even if those chunks were not used to generate the summary.
“Given that each chunk D i has an associated summary c i , it is probable that the summary c i conveys some information that can be indirectly supported by other chunks D j within the document, even if D j are not used to generate c i .”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S3 (load-bearing).
PremisecitationMany of the disagreement cases are classic cases of subjectivity in NLI.
“Many of the disagreement cases are classic cases of subjectivity in NLI (Pavlick and Kwiatkowski, 2019;Chen et al., 2020;Nie et al., 2020b).”
Quote in the paperNot a substantial claim0 of 3 sources checked- cites Pavlick and Kwiatkowski, 2019 source
- cites Chen et al., 2020
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites Nie et al., 2020b
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
May combine two claims.
Interpretationown dataThe automatic labels are a bit lower-quality than single-annotator labels on D2C, but close on C2D.
“These accuracies demonstrate that the automatic labels are a bit lower-quality than single-annotator labels on D2C, but close on C2D.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.
PremisecitationDocNLI is a restructure of existing datasets where the length of most training examples cannot fit into the input limit of small models.
“DocNLI (Yin et al., 2021) is a restructure of existing datasets where the length of most training examples cannot fit into the input limit of small models.”
Quote in the paperNot a substantial claim0 of 1 sources checked- cites Yin et al., 2021
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
Probably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.
Study design and conductnone givenOur benchmark includes instances that evaluate models' ability to reason across multiple sentences, but these datasets do not necessitate reasoning over evidence that is significantly separated or spread across various documents.
“While our benchmark includes instances that evaluate models' ability to reason across multiple sentences, these datasets do not necessitate reasoning over evidence that is significantly separated or spread across various documents.”
Quote in the paperNot a substantial claimMay combine two claims.
Premisenone givenAnnotation of real errors is challenging to scale, and datasets of such errors are largely test-only.
“Annotation of real errors is challenging to scale; datasets of such errors (including those in LLM-AGGREFACT) are largely test-only.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S2 (checkable), S4 (based).
Premisenone givenImportant information in a document can be conveyed multiple times in various ways.
“The rationale behind this is that the important information in a document can be conveyed multiple times in various ways.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S3 (load-bearing).
Premisenone givenThere are two main approaches to verifying sentences against documents.
“There are two main approaches to verifying sentences against documents.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S3 (load-bearing). May combine two claims.
Study design and conductnone givenOur models do not reveal their internal decision-making processes, making it challenging to localize errors to particular mismatched spans of a claim or document.
“Like many other specialized factchecking models, our models do not reveal their internal decision-making processes, making it challenging to localize errors to particular mismatched spans of a claim or document.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S3 (load-bearing).
Study design and conductnone givenOur models are trained exclusively on English data.
“Our models are trained exclusively on English data.”
Quote in the paperNot a substantial claimClassified as probably not a substantial claim.
PremisereasoningNew data is required to address the challenges of fact-checking on grounding documents.
“To address these challenges, new data is required.”
Quote in the paperSubstantial claimProbably not a substantial claim: may not pass S4 (based). May combine two claims.
Interpretationnone givenThe D2C method enhances document diversity and realism compared to C2D, reducing distribution shift between synthetic training documents and real test documents.
“In the D2C method, our objective is to enhance the diversity of documents and ensure that the documents are more realistic than those in C2D, thereby reducing the distribution shift between synthetic documents used during training and real documents at test time.”
Quote in the paperNot a substantial claimMay combine two claims.
Interpretationown dataExisting specialized fact-checkers fall short in effectively considering all atomic facts within a claim and struggle with reasoning across multiple sentences.
“We argue that existing specialized fact-checkers fall short in effectively considering all atomic facts within a claim to be verified and struggle with reasoning across multiple sentences.”
Quote in the paperSubstantial claimProbably not a substantial claim: may not pass S3 (load-bearing).
Study design and conductreasoningWe have not systematically assessed how well our model's performance extends to other languages due to the absence of a human-annotated factual consistency evaluation dataset for LLM-generated outputs in non-English languages.
“Although the backbone model, Flan-T5, is trained on multilingual data, we have not systematically assessed how well our model's performance extends to other languages due to the absence of a human-annotated factual consistency evaluation dataset for LLM-generated outputs in non-English languages.”
Quote in the paperNot a substantial claimClassified as probably not a substantial claim. May combine two claims.
InterpretationreasoningIn retrieve-then-generate and post-hoc grounding settings, evidence is typically retrieved for each claim separately, meaning no document can be shared across claims in a single response, and thus the inference cost is barely reduced.
“However, in retrieve-then-generate and post-hoc grounding settings, evidence is typically retrieved for each claim separately, meaning no document can be shared across claims in a single response, and thus the inference cost is barely reduced.”
Quote in the paperSubstantial claimProbably not a substantial claim: may not pass S3 (load-bearing), S4 (based). May combine two claims.
Study design and conductnone givenWe use a temperature of zero to collect deterministic outputs, which is typical from previous work.
“We use a temperature of zero to collect deterministic outputs, which is typical from previous work.”
Quote in the paperNot a substantial claimMay combine two claims.
Study design and conductreasoningWe excluded HALUEVAL and SUMMEDITS from our benchmark since they are synthetic, with errors in summaries generated via instruction prompts that guide the model to intentionally make errors in summaries.
“We excluded HALUEVAL (Li et al., 2023) and SUMMEDITS (Laban et al., 2023) from our benchmark since they are synthetic, with errors in summaries generated via instruction prompts that guide the model to intentionally make errors in summaries.”
Quote in the paperSubstantial claim0 of 2 sources checked- cites Li et al., 2023
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
- cites Laban et al., 2023
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
May combine two claims.
Interpretationown dataOur synthetic data enhances model robustness and performance in the absence of threshold tuning.
“Our synthetic data enhances model robustness and performance in the absence of threshold tuning.”
Quote in the paperSubstantial claimProbably not a substantial claim: may not pass S2 (checkable).
Interpretationnone givenThese filtering steps are crucial for improving the training dataset's quality.
“These filtering steps are crucial for improving the training dataset's quality.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S3 (load-bearing).
InterpretationreasoningMINICHECK-RBTA and MINICHECK-DBTA chunk size of approximately 400 tokens results in approximately the same chunk size as in AlignScore, which has a chunk size of 350 tokens using white space splitting.
“This results in approximately the same chunk size as in AlignScore, which has a chunk size of 350 tokens using white space splitting.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S2 (checkable), S3 (load-bearing), S4 (based).
Interpretationnone givenDetermining the factuality labels of claims requires models to reason over multiple sentences.
“Determining the factuality labels of claims requires models to reason over multiple sentences.”
Quote in the paperNot a substantial claimClassified as probably not a substantial claim.
InterpretationreasoningDocuments generated from a claim encourage models to pay attention to multiple atomic facts in a sentence.
“which encourage models to pay attention to multiple atomic facts in a sentence”
Quote in the paperSubstantial claimProbably not a substantial claim: may not pass S2 (checkable), S4 (based).
Interpretationnone givenHumans could potentially search different articles to verify the correctness of those sentences than the ones that models retrieve.
“However, humans could potentially search different articles to verify the correctness of those sentences than the ones that models retrieve.”
Quote in the paperNot a substantial claimClassified as probably not a substantial claim.
InterpretationreasoningComparing the performance of simplified methods with C2D/D2C helps validate our more sophisticated prompting strategy.
“Comparing the performance of this with C2D/D2C helps validate our more sophisticated prompting strategy.”
Quote in the paperSubstantial claimThe quote only partly states this claim.
Interpretationown dataMiniCheck-FT5 achieves a higher average BAcc than AlignScore on the LLM-AGGREFACT test set without threshold tuning.
“MiniCheck-FT5 69.9”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S2 (checkable). May combine two claims.
InterpretationreasoningThese errors are unnatural and do not fit with our goal of detecting true LLM generation errors.
“These errors are unnatural and do not fit with our goal of detecting true LLM generation errors.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S3 (load-bearing).
PremisecitationThe editing method from Laban et al. (2023) is used to construct the SummEdit factual consistency evaluation benchmark.
“We leverage the editing method from Laban et al. (2023), which is used to construct their SummEdit factual consistency evaluation benchmark.”
Quote in the paperNot a substantial claim0 of 1 sources checked- cites Laban et al. (2023)
Couldn’t be matched to a paper in Crossref, so it can’t be checked.
May combine two claims.
Interpretationown dataOur synthetic data not only improves overall performance but also enhances the robustness of models across the domains of our benchmark, enabling them to maintain strong performance even without threshold tuning.
“These results suggest that our synthetic data not only improves overall performance but also enhances the robustness of models across the domains of our benchmark, enabling them to maintain strong performance even without threshold tuning.”
Quote in the paperSubstantial claimProbably not a substantial claim: may not pass S3 (load-bearing).
Study design and conductown dataThe correctness of the condition that the atomic fact is supported if and only if the information from both sentences is combined is verified after generation via an entailment check by GPT-4.
“To ensure the quality of the generation, we verify the correctness of this condition after generation via an entailment check by GPT-4 (Table 20).”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S4 (based).
Interpretationnone givenDirectly performing an entailment check on the (D, c) pair with GPT-4 may introduce many labeling errors, which can negatively impact the performance of the trained models.
“However, directly performing an entailment check on the (D, c) pair with GPT-4 may introduce many labeling errors, which can negatively impact the performance of the trained models.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S3 (load-bearing).
Premiseown dataThe model can generate complete and correct atomic facts most of the time according to human evaluation.
“which can generate complete and correct atomic facts most of the time according to their human evaluation.”
Quote in the paperNot a substantial claimProbably not a substantial claim: may not pass S4 (based).
InterpretationreasoningBy construction, if all sentences are mentioned in D, then c is supported by D.
“By construction, if all sentences are mentioned in D, then c is supported by D.”
Quote in the paperNot a substantial claimClassified as probably not a substantial claim.
Study design and conductreasoningAll sentences s from the generated sentence pairs are mentioned in (and hence are entailed by) the generated document D, verified by using the entailment check by GPT-4.
“We ensure that all sentences s from the generated sentence pairs are mentioned in (and hence are entailed by) the generated document D by using the entailment check by GPT-4.”
Quote in the paperSubstantial claim- The authors state this as an assumption: GPT-4 can perform well on the simple task of verifying whether sentences s are mentioned in D.
The authors state this as an assumption.
The statements to be checked consist of sentences, each with associated grounding documents.
“We assume a collection of statements to be checked consisting of sentences c = [c 1 , . . ., c |c| ].”
The authors state this as an assumption.
Entailment checks can be performed on each sentence on its own, without context.
“Second, we assume that we can perform our entailment checks on each sentence c i on its own, without context c <i .”
The authors state this as an assumption.
In the C2D method, we have access to a set of human-written claim statements.
“In the C2D method, we assume that we have access to a set of human-written claim statements.”
The authors state this as an assumption.
In the D2C method, we have access to a set of human-written documents.
“To achieve this, we assume that we have access to a set of human-written documents to start with.”
The authors state this as an assumption.
The generated summary sentences are factually consistent with respect to their corresponding chunks.
“We assume these generated summary sentences are factually consistent with respect to their corresponding chunks, i.e. (D i , c i , 1) for all i, as each chunk is short and LLMs can almost always generate factual summaries in this setting (Zhang et al., 2024).”
The paper relies on this without support.
Checking each sentence in isolation is necessary for the paper's fact-checking approach.
“our approach relies on being able to check each sentence in isolation.”
The paper relies on this without support.
Coreference and ellipsis may make sentences difficult to ground out of context.
“phenomena like coreference and ellipsis may make sentences difficult to ground out of context.”
The paper relies on this without support.
The summary sentences generated by GPT-4 for each document chunk are supported by that chunk.
“corresponding supporting summary sentences {c 1 , c 2 , c 3 } generated by GPT-4.”
The paper relies on this without support.
Contradictions are rare in the benchmark.
“as contradictions are rare in our benchmark”
The authors state this as an assumption.
GPT-4 can perform well on the simple task of verifying whether sentences s are mentioned in D.
“It is important to note that we only verify whether sentences s are mentioned in D, as we believe GPT-4 can perform well on this simple task.”
Cites
The publisher hasn’t deposited this paper’s reference list.
Research works printed but not linked: 52
- Samuel R. Bowman, Gabor Angeli, Christopher Potts, and Christopher D. Manning. 2015. A large anno- tated corpus for learning natural language inference. In Proceedings of the 2015 Conference on Empiri- cal Methods in Natural Language Processing, pages 632-642, Lisbon, Portugal. Association for Compu- tational Linguistics. · DOI · Paper page
- Meng Cao, Yue Dong, and Jackie Cheung. 2022. Hal- lucinated but factual! inspecting the factuality of hallucinations in abstractive summarization. In Pro- ceedings of the 60th Annual Meeting of the Associa- tion for Computational Linguistics (Volume 1: Long Papers), pages 3340-3354, Dublin, Ireland. Associa- tion for Computational Linguistics. · DOI · Paper page
- Shuyang Cao and Lu Wang. 2021. CLIFF: Contrastive learning for improving faithfulness and factuality in abstractive summarization. In Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing, pages 6633-6649, Online and Punta Cana, Dominican Republic. Association for Computational Linguistics. · DOI
- Jiawei Chen, Hongyu Lin, Xianpei Han, and Le Sun. 2024. Benchmarking large language models in retrieval-augmented generation. In Thirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applica- tions of Artificial Intelligence, IAAI 2024, Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2014, February 20-27, 2024, Van- couver, Canada, pages 17754-17762. AAAI Press. · DOI · Paper page
- Tongfei Chen, Zhengping Jiang, Adam Poliak, Keisuke Sakaguchi, and Benjamin Van Durme. 2020. Un- certain natural language inference. In Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, pages 8772-8779, On- line. Association for Computational Linguistics. · DOI
- Sabrina Chiesurin, Dimitris Dimakopoulos, Marco An- tonio Sobrevilla Cabezudo, Arash Eshghi, Ioannis Papaioannou, Verena Rieser, and Ioannis Konstas. 2023. The dangers of trusting stochastic parrots: Faithfulness and trust in open-domain conversational question answering. In Findings of the Association for Computational Linguistics: ACL 2023, pages 947- 959, Toronto, Canada. Association for Computational Linguistics. · DOI
- Eunsol Choi, Jennimaria Palomaki, Matthew Lamm, Tom Kwiatkowski, Dipanjan Das, and Michael Collins. 2021. Decontextualization: Making sen- tences stand-alone. Transactions of the Association for Computational Linguistics, 9:447-461. · DOI · Paper page
- Alexander Fabbri, Chien-Sheng Wu, Wenhao Liu, and Caiming Xiong. 2022. QAFactEval: Improved QA- based factual consistency evaluation for summariza- tion. In Proceedings of the 2022 Conference of the North American Chapter of the Association for Com- putational Linguistics: Human Language Technolo- gies, pages 2587-2601, Seattle, United States. Asso- ciation for Computational Linguistics. · DOI · Paper page
- Alexander R. Fabbri, Wojciech Kryściński, Bryan Mc- Cann, Caiming Xiong, Richard Socher, and Dragomir Radev. 2021. SummEval: Re-evaluating Summariza- tion Evaluation. Transactions of the Association for Computational Linguistics, 9:391-409. · DOI · Paper page
- Tobias Falke, Leonardo F. R. Ribeiro, Prasetya Ajie Utama, Ido Dagan, and Iryna Gurevych. 2019. Rank- ing generated summaries by correctness: An interest- ing but challenging application for natural language inference. In Proceedings of the 57th Annual Meet- ing of the Association for Computational Linguistics, pages 2214-2220, Florence, Italy. Association for Computational Linguistics. · DOI · Paper page
- Angela Fan, Yacine Jernite, Ethan Perez, David Grang- ier, Jason Weston, and Michael Auli. 2019. ELI5: Long form question answering. In Proceedings of the 57th Annual Meeting of the Association for Com- putational Linguistics, pages 3558-3567, Florence, Italy. Association for Computational Linguistics. · DOI · Paper page
- Luyu Gao, Zhuyun Dai, Panupong Pasupat, Anthony Chen, Arun Tejasvi Chaganty, Yicheng Fan, Vincent Zhao, Ni Lao, Hongrae Lee, Da-Cheng Juan, and Kelvin Guu. 2023. RARR: Researching and revising what language models say, using language models. In Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), pages 16477-16508, Toronto, Canada. Association for Computational Linguistics. · DOI · Paper page
- Max Glockner, Ieva Staliūnaitė, James Thorne, Gisela Vallejo, Andreas Vlachos, and Iryna Gurevych. 2024. AmbiFC: Fact-Checking Ambiguous Claims with Evidence. Transactions of the Association for Com- putational Linguistics, 12:1-18. · DOI
- Tanya Goyal and Greg Durrett. 2020. Evaluating factu- ality in generation with dependency-level entailment. In Findings of the Association for Computational Lin- guistics: EMNLP 2020, pages 3592-3603, Online. Association for Computational Linguistics. · DOI · Paper page
- Tanya Goyal and Greg Durrett. 2021. Annotating and modeling fine-grained factuality in summarization. In Proceedings of the 2021 Conference of the North American Chapter of the Association for Computa- tional Linguistics: Human Language Technologies, pages 1449-1462, Online. Association for Computa- tional Linguistics. · DOI · Paper page
- Suchin Gururangan, Swabha Swayamdipta, Omer Levy, Roy Schwartz, Samuel Bowman, and Noah A. Smith. 2018. Annotation artifacts in natural language infer- ence data. In Proceedings of the 2018 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Tech- nologies, Volume 2 (Short Papers), pages 107-112, New Orleans, Louisiana. Association for Computa- tional Linguistics. · DOI · Paper page
- Or Honovich, Roee Aharoni, Jonathan Herzig, Hagai Taitelbaum, Doron Kukliansy, Vered Cohen, Thomas Scialom, Idan Szpektor, Avinatan Hassidim, and Yossi Matias. 2022. TRUE: Re-evaluating factual consistency evaluation. In Proceedings of the Second DialDoc Workshop on Document-grounded Dialogue and Conversational Question Answering, pages 161- 175, Dublin, Ireland. Association for Computational Linguistics. · DOI · Paper page
- Cheng-Yu Hsieh, Chun-Liang Li, Chih-kuan Yeh, Hootan Nakhost, Yasuhisa Fujii, Alex Ratner, Ranjay Krishna, Chen-Yu Lee, and Tomas Pfister. 2023. Dis- tilling step-by-step! outperforming larger language models with less training data and smaller model sizes. In Findings of the Association for Compu- tational Linguistics: ACL 2023, pages 8003-8017, Toronto, Canada. Association for Computational Lin- guistics. · DOI · Paper page
- Yebowen Hu, Timothy Ganter, Hanieh Deilamsalehy, Franck Dernoncourt, Hassan Foroosh, and Fei Liu. 2023. MeetingBank: A benchmark dataset for meet- ing summarization. In Proceedings of the 61st An- nual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), pages 16409- 16423, Toronto, Canada. Association for Computa- tional Linguistics. · DOI
- Dandan Huang, Leyang Cui, Sen Yang, Guangsheng Bao, Kun Wang, Jun Xie, and Yue Zhang. 2020. What have we achieved on text summarization? In Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP), pages 446-469, Online. Association for Computa- tional Linguistics. · DOI
- Sebastian Joseph, Kathryn Kazanas, Keziah Reina, Vish- nesh Ramanathan, Wei Xu, Byron Wallace, and Junyi Jessy Li. 2023. Multilingual simplification of medical texts. In Proceedings of the 2023 Con- ference on Empirical Methods in Natural Language Processing, pages 16662-16692, Singapore. Associ- ation for Computational Linguistics. · DOI
- Ryo Kamoi, Tanya Goyal, Juan Diego Rodriguez, and Greg Durrett. 2023. WiCE: Real-world entailment for claims in Wikipedia. In Proceedings of the 2023 Conference on Empirical Methods in Natural Lan- guage Processing, pages 7561-7583, Singapore. As- sociation for Computational Linguistics. · DOI · Paper page
- Wojciech Kryscinski, Bryan McCann, Caiming Xiong, and Richard Socher. 2020. Evaluating the factual consistency of abstractive text summarization. In Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP), pages 9332-9346, Online. Association for Computa- tional Linguistics. · DOI · Paper page
- Philippe Laban, Wojciech Kryscinski, Divyansh Agar- wal, Alexander Fabbri, Caiming Xiong, Shafiq Joty, and Chien-Sheng Wu. 2023. SummEdits: Measuring LLM ability at factual reasoning through the lens of summarization. In Proceedings of the 2023 Con- ference on Empirical Methods in Natural Language Processing, pages 9662-9676, Singapore. Associa- tion for Computational Linguistics. · DOI
- Philippe Laban, Tobias Schnabel, Paul N. Bennett, and Marti A. Hearst. 2022. SummaC: Re-visiting NLI- based models for inconsistency detection in summa- rization. Transactions of the Association for Compu- tational Linguistics, 10:163-177. · DOI · Paper page
- Chuanrong Li, Lin Shengshuo, Zeyu Liu, Xinyi Wu, Xuhui Zhou, and Shane Steinert-Threlkeld. 2020. Linguistically-informed transformations (LIT): A method for automatically generating contrast sets. In Proceedings of the Third BlackboxNLP Workshop on Analyzing and Interpreting Neural Networks for NLP, pages 126-135, Online. Association for Com- putational Linguistics. · DOI
- Junyi Li, Xiaoxue Cheng, Xin Zhao, Jian-Yun Nie, and Ji-Rong Wen. 2023. HaluEval: A large-scale hal- lucination evaluation benchmark for large language models. In Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, pages 6449-6464, Singapore. Association for Com- putational Linguistics. · DOI · Paper page
- Yixin Liu, Pengfei Liu, Dragomir Radev, and Graham Neubig. 2022. BRIO: Bringing order to abstractive summarization. In Proceedings of the 60th Annual Meeting of the Association for Computational Lin- guistics (Volume 1: Long Papers), pages 2890-2903, Dublin, Ireland. Association for Computational Lin- guistics. · DOI
- Alex Mallen, Akari Asai, Victor Zhong, Rajarshi Das, Daniel Khashabi, and Hannaneh Hajishirzi. 2023. When not to trust language models: Investigating effectiveness of parametric and non-parametric mem- ories. In Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Vol- ume 1: Long Papers), pages 9802-9822, Toronto, Canada. Association for Computational Linguistics. · DOI · Paper page
- Joshua Maynez, Shashi Narayan, Bernd Bohnet, and Ryan McDonald. 2020. On faithfulness and factu- ality in abstractive summarization. In Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics, pages 1906-1919, On- line. Association for Computational Linguistics. · DOI · Paper page
- Nick McKenna, Tianyi Li, Liang Cheng, Mohammad Hosseini, Mark Johnson, and Mark Steedman. 2023. Sources of hallucination by large language models on inference tasks. In Findings of the Association for Computational Linguistics: EMNLP 2023, pages 2758-2774, Singapore. Association for Computa- tional Linguistics. · DOI · Paper page
- Sewon Min, Kalpesh Krishna, Xinxi Lyu, Mike Lewis, Wen-tau Yih, Pang Koh, Mohit Iyyer, Luke Zettle- moyer, and Hannaneh Hajishirzi. 2023. FActScore: Fine-grained atomic evaluation of factual precision in long form text generation. In Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, pages 12076-12100, Singa- pore. Association for Computational Linguistics. · DOI · Paper page
- Ramesh Nallapati, Bowen Zhou, Cicero dos Santos, Caglar Gulcehre, and Bing Xiang. 2016. Abstractive text summarization using sequence-to-sequence rnns and beyond. In Proceedings of The 20th SIGNLL Conference on Computational Natural Language Learning. Association for Computational Linguis- tics. · DOI · Paper page
- Shashi Narayan, Shay B. Cohen, and Mirella Lapata. 2018. Don't give me the details, just the summary! topic-aware convolutional neural networks for ex- treme summarization. In Proceedings of the 2018 Conference on Empirical Methods in Natural Lan- guage Processing, pages 1797-1807, Brussels, Bel- gium. Association for Computational Linguistics. · DOI · Paper page
- Yixin Nie, Adina Williams, Emily Dinan, Mohit Bansal, Jason Weston, and Douwe Kiela. 2020a. Adversarial NLI: A new benchmark for natural language under- standing. In Proceedings of the 58th Annual Meet- ing of the Association for Computational Linguistics, pages 4885-4901, Online. Association for Computa- tional Linguistics. · DOI · Paper page
- Yixin Nie, Xiang Zhou, and Mohit Bansal. 2020b. What can we learn from collective human opinions on nat- ural language inference data? In Proceedings of the 2020 Conference on Empirical Methods in Natural Language Processing (EMNLP), pages 9131-9143, Online. Association for Computational Linguistics. · DOI
- Artidoro Pagnoni, Vidhisha Balachandran, and Yulia Tsvetkov. 2021. Understanding factuality in abstrac- tive summarization with FRANK: A benchmark for factuality metrics. In Proceedings of the 2021 Con- ference of the North American Chapter of the Asso- ciation for Computational Linguistics: Human Lan- guage Technologies, pages 4812-4829, Online. As- sociation for Computational Linguistics. · DOI · Paper page
- Ellie Pavlick and Tom Kwiatkowski. 2019. Inherent disagreements in human textual inferences. Transac- tions of the Association for Computational Linguis- tics, 7:677-694. · DOI · Paper page
- Fabio Petroni, Samuel Broscheit, Aleksandra Pik- tus, Patrick Lewis, Gautier Izacard, Lucas Hos- seini, Jane Dwivedi-Yu, Maria Lomeli, Timo Schick, Michele Bevilacqua, Pierre-Emmanuel Mazaré, Ar- mand Joulin, Edouard Grave, and Sebastian Riedel. 2023. Improving Wikipedia verifiability with AI. Nature Machine Intelligence, 5(10):1142-1148. · DOI
- Chantal Shaib, Millicent Li, Sebastian Joseph, Iain Marshall, Junyi Jessy Li, and Byron Wallace. 2023. Summarizing, simplifying, and synthesizing medical evidence using GPT-3 (with varying success). In Proceedings of the 61st Annual Meeting of the As- sociation for Computational Linguistics (Volume 2: Short Papers), pages 1387-1407, Toronto, Canada. Association for Computational Linguistics. · DOI
- Liyan Tang, Tanya Goyal, Alex Fabbri, Philippe La- ban, Jiacheng Xu, Semih Yavuz, Wojciech Kryscin- ski, Justin Rousseau, and Greg Durrett. 2023a. Un- derstanding factual errors in summarization: Errors, summarizers, datasets, error detectors. In Proceed- ings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), pages 11626-11644, Toronto, Canada. Association for Computational Linguistics. · DOI
- Liyan Tang, Yifan Peng, Yanshan Wang, Ying Ding, Greg Durrett, and Justin Rousseau. 2023b. Less likely brainstorming: Using language models to gen- erate alternative hypotheses. In Findings of the As- sociation for Computational Linguistics: ACL 2023, pages 12532-12555, Toronto, Canada. Association for Computational Linguistics. · DOI
- Liyan Tang, Zhaoyi Sun, Betina Idnay, Jordan G. Nestor, Ali Soroush, Pierre A. Elias, Ziyang Xu, Ying Ding, Greg Durrett, Justin F. Rousseau, Chunhua Weng, and Yifan Peng. 2023c. Evaluating large language models on medical evidence summarization. npj Digital Medicine, 6(1). · DOI · Paper page
- Alex Wang, Kyunghyun Cho, and Mike Lewis. 2020. Asking and answering questions to evaluate the fac- tual consistency of summaries. In Proceedings of the 58th Annual Meeting of the Association for Compu- tational Linguistics, pages 5008-5020, Online. Asso- ciation for Computational Linguistics. · DOI
- Yixuan Weng, Minjun Zhu, Fei Xia, Bin Li, Shizhu He, Shengping Liu, Bin Sun, Kang Liu, and Jun Zhao. 2023. Large language models are better reasoners with self-verification. In Findings of the Associa- tion for Computational Linguistics: EMNLP 2023, pages 2550-2575, Singapore. Association for Com- putational Linguistics. · DOI · Paper page
- Adina Williams, Nikita Nangia, and Samuel Bowman. 2018. A broad-coverage challenge corpus for sen- tence understanding through inference. In Proceed- ings of the 2018 Conference of the North American Chapter of the Association for Computational Lin- guistics: Human Language Technologies, Volume 1 (Long Papers), pages 1112-1122, New Orleans, Louisiana. Association for Computational Linguis- tics. · DOI · Paper page
- Xiaoyu Yang and Xiaodan Zhu. 2021. Exploring de- composition for table-based fact verification. In Find- ings of the Association for Computational Linguis- tics: EMNLP 2021, pages 1045-1052, Punta Cana, Dominican Republic. Association for Computational Linguistics. · DOI
- Wenpeng Yin, Dragomir Radev, and Caiming Xiong. 2021. DocNLI: A large-scale dataset for document- level natural language inference. In Findings of the Association for Computational Linguistics: ACL- IJCNLP 2021, pages 4913-4922, Online. Association for Computational Linguistics. · DOI
- Yuheng Zha, Yichi Yang, Ruichen Li, and Zhiting Hu. 2023. AlignScore: Evaluating factual consistency with a unified alignment function. In Proceedings of the 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), pages 11328-11348, Toronto, Canada. Association for Computational Linguistics. · DOI · Paper page
- Tianyi Zhang, Faisal Ladhak, Esin Durmus, Percy Liang, Kathleen McKeown, and Tatsunori B. Hashimoto. 2024. Benchmarking large language models for news summarization. Transactions of the Association for Computational Linguistics, 12:39-57. · DOI · Paper page
- Wenxuan Zhou, Sheng Zhang, Hoifung Poon, and Muhao Chen. 2023. Context-faithful prompting for large language models. In Findings of the As- sociation for Computational Linguistics: EMNLP 2023, pages 14544-14556, Singapore. Association for Computational Linguistics. · DOI
- Chenguang Zhu, Yang Liu, Jie Mei, and Michael Zeng. 2021. MediaSum: A large-scale media interview dataset for dialogue summarization. In Proceedings · DOI
Cited by
Sorted by citations
Hallucination to truth: a review of fact-checking and factuality evaluation in large language models
Rahman, S. S., Islam, M. A., Alam, M. M., Zeba, M., Rahman, M. A., Chowa, S. S., Raiaan, M. A. K., & Azam, S. (2026) · Artificial Intelligence Review · doi:10.1007/s10462-025-11454-w · Cited by 39 · see citing works
“For example, benchmarks like LLM-AGGREFACT use detailed human annotations to assess support levels for claims [10].”
InfluentialSezgin, E., Jackson, D. I., Kocaballi, A. B., Bibart, M., Zupanec, S., Landier, W., Audino, A., Ranalli, M., & Skeens, M. (2025) · Cancer Medicine · doi:10.1002/cam4.70554 · Cited by 30 · see citing works
Traceable LLM-based validation of statements in knowledge graphs
Adam, D., & Kliegr, T. (2025) · Information Processing & Management · doi:10.1016/j.ipm.2025.104128 · Cited by 20 · see citing works
“The closest work to ours is the MiniCheck system (Tang et al., 2024), which is a trained sentence-level LLM-based fact-checker trained on synthetically generated data with GPT-4.”
BackgroundMethodReading Subtext: Evaluating Large Language Models on Short Story Summarization with Writers
Subbiah, M., Zhang, S., Chilton, L. B., & McKeown, K. R. (2024) · Transactions of the Association for Computational Linguistics · doi:10.1162/tacl_a_00702 · Cited by 26 · see citing works
“The Fleiss Kappa score is .”
VeriScore: Evaluating the factuality of verifiable claims in long-form text generation
Song, Y., Kim, Y., & Iyyer, M. (2024) · Findings of the Association for Computational Linguistics: EMNLP 2024 · doi:10.18653/v1/2024.findings-emnlp.552 · Cited by 15 · see citing works
Semantic Integrity Constraints: Declarative Guardrails for AI-Augmented Data Processing Systems
Lee, A. W., Chan, J., Fu, M. C., Kim, N. H.-Y., Mehta, A., Raghavan, D., & Çetintemel, U. (2025) · Proceedings of the VLDB Endowment · doi:10.14778/3749646.3749677 · Cited by 9 · see citing works
Assessing the potential of generative agents in crowdsourced fact-checking
Costabile, L., Orlando, G. M., Gatta, V. L., & Moscato, V. (2025) · Online Social Networks and Media · doi:10.1016/j.osnem.2025.100326 · Cited by 6 · see citing works
“Leveraging their generative and reasoning capabilities, these models have been applied across the entire fact-checking pipeline—from identifying check-worthy claims [41, 42], to retrieving relevant evidence [43, 44], and ultimately assessing claim veracity [45, 46].”
Morescient GAI for Software Engineering
Kessel, M., & Atkinson, C. (2025) · ACM Transactions on Software Engineering and Methodology · doi:10.1145/3709354 · Cited by 6 · see citing works
Paci, S. (2026) · Chinese Political Science Review · doi:10.1007/s41111-026-00335-4 · Cited by 5 · see citing works
Dai, S., Wu, Q., Zhang, H., Wang, Y., & Wang, S. (2025) · Environmental Science & Technology · doi:10.1021/acs.est.5c10297 · Cited by 4 · see citing works
Hoferer, N., Sprenkamp, K., Quelle, D., Jones, D. G., Katashinskaya, Z., Bovet, A., & Zavolokina, L. (2025) · CHI Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA) · doi:10.1145/3706599.3720125 · Cited by 3 · see citing works
“Several approaches have been developed, from automated fact-checking to generalist information retrieval systems [31, 38, 40, 43].”
Santra, P., Ghosh, M., Ganguly, D., Basuchowdhuri, P., & Naskar, S. K. (2025) · Wiley Interdisciplinary Reviews Data Mining and Knowledge Discovery · doi:10.1002/widm.70021 · Cited by 3 · see citing works
“However, the models cannot infer accurately due to a lack of internal knowledge of current claims, which leads to a focus on fine-tuning techniques to enhance their effectiveness (Chen, Zhang, Guo, Fan, et al. 2022; Zeng and Zubiaga 2024; Tang et al. 2024).”
YMCQ: Reasoning-Enhanced MCQ Generation
Dutulescu, A., Ruşeţi, Ş., Iorga, D., Dascălu, M., & McNamara, D. S. (2025) · Lecture notes in computer science · doi:10.1007/978-3-031-98465-5_39 · Cited by 2 · see citing works
Advancing Industrial Honeypots: FSM and LLM Integration for Realistic ICS Protocol Emulation
Chamotra, S., & Barbhuiya, F. A. (2025) · IEEE Transactions on Industrial Informatics · doi:10.1109/tii.2025.3620426 · Cited by 2 · see citing works
“The fact-checking engine [24] ensures consistency with protocol specifications, verifying field accuracy (e.g., function codes, lengths) to reduce hallucinations and enhance reliability.”
Deng, X., Wang, X., & Stevenson, M. (2025) · ACM SIGIR International Conference on Theory of Information Retrieval (ICTIR) · doi:10.1145/3731120.3744614 · Cited by 2 · see citing works
Who Does What? Archetypes of Roles Assigned to LLMs During Human-AI Decision-Making
Chappidi, S., Singh, J. P., & Krauze, A. V. (2026) · CHI Conference on Human Factors in Computing Systems · doi:10.1145/3772318.3791428 · Cited by 2 · see citing works
“Consequently, this paper focuses on the use of LLMs in complex decision-making scenarios more likely to reflect real-world implementation and use of LLMs.”
SciReplicate-Bench: Benchmarking LLMs in Agent-driven Algorithmic Reproduction from Research Papers
Xiang, Y., Yan, H., Ouyang, S., Gui, L., & He, Y. (2025) · arXiv · doi:10.48550/arxiv.2504.00255 · Cited by 1 · see citing works
Explainable Semantic Text Relations: A Question-Answering Framework for Comparing Document Content
Aperstein, Y., Gottlib, A., Benita, G., & Apartsin, A. (2025) · Information · doi:10.3390/info16121090 · Cited by 1 · see citing works
“In related tasks, Tang et al. [58] generate synthetic claim-pas-sage pairs for fact-checking using multi-stage LLM prompts, an approach analogous to natural language inference (NLI) generation.”
Benharrak, K., Peng, P., & Pavel, A. (2025) · ACM Symposium on User Interface Software and Technology (UIST) · doi:10.1145/3746059.3747795 · Cited by 1 · see citing works
Principled Context Engineering for RAG: Statistical Guarantees via Conformal Prediction
Chakraborty, D., Yang, E., Khashabi, D., Lawrie, D., & Duh, K. (2026) · Lecture notes in computer science · doi:10.1007/978-3-032-21300-6_45 · Cited by 1 · see citing works
“Calibration and test relevance labels r ( q, s ) are generated by Llama 3.3-70B-Instruct [5] using a rubric-style prompt, similar to [30], asking whether each snippet supports the query.”
InfluentialEvaluating Explainability: Metrics, Benchmarks, and Human-Centered Evaluation Methods
Yousefi, N., & Zamanifar, A. (2026) · Springer eBooks · doi:10.1007/978-3-032-15088-2_10 · Cited by 1 · see citing works
Beyond Accuracy: Experts See AI Fact-Checks as Accurate but Less Useful
Jia, C., Gondimalla, A., Zhang, A., Mullings, D. J., Boltz, A., & Lee, M. K. (2026) · CHI Conference on Human Factors in Computing Systems · doi:10.1145/3772318.3791625 · Cited by 1 · see citing works
Разработка информационной системы для анализа наполнения веб-сайтов текстовыми документами
Pocebneva, I. V., Андреева, К. А., Пуговкина, Н. А., et al. (2025) · Modelirovanie, optimizaciâ i informacionnye tehnologii. · doi:10.26102/2310-6018/2025.51.4.043
Collaborative Fact-checking via Multi-Agent Debate and Weighted Voting
Wang, X., & Fei, Y. (2025) · International Conference on Artificial Intelligence, Digital Media Technology and Social Computing (ICAIDS) · doi:10.1109/icaids67687.2025.00038
“On the other hand, existing multi-model frameworks and agent-based systems, while attempting to address these challenges, often adopt suboptimal serial processing architectures[9,11].”
An LLM-Enabled Multi-Agent System for Evidence-Grounded Fact Checking
Dao, H. N., Hashimoto, Y., & Thang, T. C. (2025) · IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSoC) · doi:10.1109/mcsoc67473.2025.00029
“With the rapid development of large language models (LLMs), automated fact-checking has made remarkable progress, offering new opportunities to detect and explain misinformation at scale [1], [2].”
Localizing Factual Inconsistencies in Attributable Text Generation
Cattan, A., Roit, P., Zhang, S., Wan, D., Aharoni, R., Szpektor, I., Bansal, M., & Dagan, I. (2026) · Transactions of the Association for Computational Linguistics · doi:10.1162/tacl.a.598 · Cited by 3 · see citing works
The researcher’s bias in fake news automatic detection: a case study
Maci, S. M., & Abbiati, S. (2026) · Linguistics Vanguard · doi:10.1515/lingvan-2024-0060
“Furthermore, a fact-checking model that achieves comparable performance to GPT-4 but with signi fi cantly lower costs has been introduced by Tang et al. (2024) with their MiniCheck.”
Probing LLM Hallucination from Within: Perturbation-Driven Method via Internal Knowledge
Lee, S., Hsu, H., Chen, C.-F. R., & Chau, D. H. P. (2025) · IEEE International Conference on Big Data (BigData) · doi:10.1109/bigdata66926.2025.11402288 · Cited by 1 · see citing works
“Some approaches have verified LLM-generated text by comparing it to external sources or human evaluation [7]–[9].”
WildClaims: Conversational Information Access in the Wild(Chat)
Joko, H., Amirshahi, S., Clarke, C. L. A., & Hasibi, F. (2026) · Lecture notes in computer science · doi:10.1007/978-3-032-21321-1_47
Glanceable Verification Indicators for AI-Assisted Storytelling
Xu, M., Zhao, Z., Zeng, J., Wang, T. Y., Panetta, F., Fiebrink, R. A., Bryan–Kinns, N., & Grierson, M. (2026) · CHI Conference Extended Abstracts on Human Factors in Computing Systems (CHI EA) · doi:10.1145/3772363.3798491
Constrained Paraphrase Consistency for LLM Hallucination Detection
Lin, S., Hong, D., Ju, S., Chen, C., Zhang, X., & Liao, X. (2026) · IEEE International Conference on Acoustics Speech and Signal Processing · doi:10.1109/icassp55912.2026.11462617
“Another line of studies train lightweight discriminative detectors on document-claim pairs, e.g., NLI-based SummaC [8], MiniCheck [9], and graph-augmented FactCG [10].”
InfluentialCross Paraphrastic Invariance Learning for Hallucination Detection
Lin, S., Hong, D., Ju, S., Chen, C., Xie, S., & Liao, X. (2026) · IEEE International Conference on Acoustics Speech and Signal Processing · doi:10.1109/icassp55912.2026.11463868
“Empirically, CPIL outperforms strong baselines, including FactCG [12], MiniCheck [11], AlignScore [10], and SummaC [8], in average F1 score on LLM-AggreFact benchmark [11].”
InfluentialLi, Z., Li, X., Mao, Y., Cao, L., Huang, W., Ren, J., & Yang, W. (2026) · IEEE International Conference on Acoustics Speech and Signal Processing · doi:10.1109/icassp55912.2026.11461824
GRAFT: gRPC-Routed Agent Framework for Tasking in Edge and Personal Devices
Shringi, C., Hillel-Tuch, A., & Rizwan, S. (2026) · ACM Conference on AI and Agentic Systems (CAIS) · doi:10.1145/3786335.3813216
Kim, H.-G., Jun, T., & Lee, T. (2026) · Mathematics · doi:10.3390/math14101769
ReGA: Zero-Overhead Graph Alignment for Structural Hallucination Detection Without Generation
Noël, V., & Seidou, E. Y. (2026) · International World Wide Web Conference (WWW) · doi:10.1145/3774905.3794657
LLM-Based Structural Standardization of Software Requirements Specifications for ISO ConformancePreprint
OKAMOTO, R., Kusumoto, S., & Matsumoto, S. (2026) · Research Square · doi:10.21203/rs.3.rs-9560604/v1
Zhou, J., Venkatachalam, K., Choi, M., Saha, K., & de Choudhury, M. (2025) · BMC Artificial Intelligence · doi:10.1186/s44398-026-00030-z · Cited by 4 · see citing works
“Recent studies in automated fact-checking systems, specifically leveraging LLMs, have shown promise in streamlining this process 7,25–27 .”
MW-CoT-RAG: Multi-source Weighted Chain-of-Thought RAG for Trustworthy Equipment QA
Zhang, B. M., Pan, H., Lin, C., & Jiang, X. (2026) · International Symposium on Computer Technology and Information Science (ISCTIS) · doi:10.1109/isctis70043.2026.11571970
“…metrics for comprehensive evaluation: (1) Answer Accuracy (Acc), measures the match between generated answers and ground truth; (2) FactScore [6], quantifying the factuality of answer statements; (3) Hallucination Rate (HR), calculates the fraction of generated content unsupported by…”
Multi-Agent System for Orchestrating Retrieval and Multimodal Reasoning in Cloud Environments
Yang, S., Zheng, X., Xu, J., Li, J., Liu, Z., & Ngai, E. C. ‐. (2026) · IEEE Conference on Computer Communications (INFOCOM) · doi:10.1109/infocom59046.2026.11571499
“Early fact-checking methods primarily focused on textual analysis [44], [45], [46], while more recent work has incorporated images [47] and videos [48] to detect visually grounded misinformation.”
What Do Claim Verification Datasets Actually Test? A Reasoning Trace Analysis
Rao, D., & Callison-Burch, C. (2026) · Lecture notes in computer science · doi:10.1007/978-3-032-29532-3_4
Numerical Hallucinations in Retrieval-Augmented Generation: Detection and Analysis
Roy, S. S. (2026) · International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR) · doi:10.1145/3805712.3809882
LLM-Oriented Information Retrieval: A Denoising-First Perspective
Dai, L., Sun, L., Cao, F., Rao, Z., Yang, C., Liu, H., & Xiong, H. (2026) · International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR) · doi:10.1145/3805712.3808544
Agentic Narrative Generation: Personalised Storytelling for Brand Communication
Adepegba, O., Ugwa, S., Ilesanmi, O., Toje, O. J., Umo, F., Mbachu, V. C., Shittu, L., Chimezie, C., & Jaiyesimi, B. S. (2026) · Cognitive Models and Artificial Intelligence Conference (AICCONF) · doi:10.1109/aicconf69182.2026.11600667
“It implements a two-stage verification pipeline inspired by MiniCheck [10]: 1) Claim Extraction : Identification of factual claims within narrative segments using dependency parsing and semantic role labeling 2) Evidence-Based Verification : Validation of claims against knowledge bases, brand…”
InfluentialAletheia: A Two-Stage Graph-Based Framework for Hallucination Detection in Abstractive Summarization
Cai, T., Li, G., Wang, Z., Zeng, C., Han, N., Huang, C., Chen, Q., Wang, S., Zhang, H., & Wang, W. (2026) · Lecture notes in computer science · doi:10.1007/978-981-92-3426-4_47
Aldashnan, B., Alothaim, A., & Alsanad, A. (2026) · ACM Transactions on Asian and Low-Resource Language Information Processing · doi:10.1145/3838729
VETRA: Verifiable Transparency Contracts for Agentic Network Management
Martínez-Páez, J., Caballero-Roa, S., Rahouti, M., et al. (2026) · IEEE Network Operations and Management Symposium (NOMS) · doi:10.1109/noms69089.2026.11668398
“Claim decomposition methods verify atomic claims against sources [14].”
Beyond Verdicts: Explainable Fact-Checking via a Linguistically-Grounded Multi-Agent Framework
Silva, P. H. D. O., Santos, L. R. J., Marinho, L. B., & Campelo, C. E. C. (2026) · ACM Conference on Hypertext and Social Media (HT) · doi:10.1145/3800935.3830873
Reliable extraction of clinical-trial evidence with provenance, verification, and targeted reviewPreprint
Najpande, G., Titiya, P., Khan, M. A., Khakwani, K. Z. R., Sonbol, M. B., Riaz, I. B., & Gupta, V. (2026) · bioRxiv (Cold Spring Harbor Laboratory) · doi:10.64898/2026.10.01.756091
“Attribution and independent verification improve the safety of automated evidence extraction [18, 19].”
QuizTools: Question Generation with Explanations
Dutulescu, A., Păroiu, R., Iorga, D., Watanabe, M., Ruşeţi, Ş., Dascălu, M., & McNamara, D. S. (2026) · Algorithms · doi:10.3390/a19100858
From Extracted Numbers to Comparable Evidence: Protocol-Qualified Scientific Result Records
Siravuri, H. V. (2026) · ACM/IEEE Joint Conference on Digital Libraries · doi:10.1145/3805696.3847124
“Retrieval-augmented systems answer scientific questions with citations [11, 20], and claim verification models target sentence-level grounding [22].”
Jaime, A., Gil-Costa, V., Errecalde, M. L., et al. (2026) · Information Processing & Management · doi:10.1016/j.ipm.2026.105257
Balanced Excerpt Regrouping in a Frozen Grounding VerifierPreprint
Zrigui, I., & Samira, K. (2026) · Research Square · doi:10.21203/rs.3.rs-11373865/v1
Liu, Y., Qian, Z., Li, P., & Zhu, Q. (2026) · International Joint Conference on Neural Networks (IJCNN) · doi:10.1109/ijcnn69854.2026.11729293
“This paradigm extends to dialogue verification [15], with reasoning-focused methods such as CorXFACT [16] and MiniCheck [17], and domain-specific systems like GraphRAG for healthcare [5].”
HallucinationNerd: A Framework and Tool to Detect Hallucinations and Unsupported Claims
Wasu, T., Kashyap, H., Chennur, V., & Shasha, D. E. (2026) · Information · doi:10.3390/info17111053
Attributable by Construction: Claim-Anchored Provenance for Multi-Document Summarization
Guan, S. (2026) · arXiv · doi:10.48550/arxiv.2606.23989
“…Kryscinski et al., 2020) has moved from n -gram overlap (Lin, 2004) toward entailment-and QA-based consistency metrics (Laban et al., 2022; Fab-bri et al., 2022; Zha et al., 2023; Honovich et al., 2022; Tang et al., 2024) and decomposition into atomic units (Min et al., 2023; Liu et al., 2023b).”
- Authors
- Tang, L., Laban, P., & Durrett, G.
- Affiliations
- The University of Texas at Austin (US)
- Venue
- arXiv
- Publisher
- arXiv
- Published
- 2024
- Pages
- 8818-8847
- arXiv
- 2404.10774
- OpenAlex
- W4404782774
- Semantic Scholar
- d0489fd7c5ff833e08969341ae6e5fa1d0e6dd2a
- Cited by
- 53
- References
- 0
- Citations by year
- 2026: 35 · 2025: 17 · 2024: 1
- FWCI
- 15.43
- Type
- conference paper
- Language
- en
- Open access
- hybrid
- doi.org
- Licence
- Locations
- Conference on Empirical Methods in Natural Language Processing (EMNLP) (publishedVersion, cc-by)
- arXiv (Cornell University) (submittedVersion)
- arXiv (Cornell University)
- Funders
- National Science Foundation (2145280, CAREER)
- University of Texas at Austin
- Open Philanthropy Project
- Topics
- Physical Sciences › Computer Science › Artificial Intelligence › Topic Modeling
- Social Sciences › Sociology and Political Science › Misinformation and Its Impacts
- Physical Sciences › Computer Science › Artificial Intelligence › Natural Language Processing Techniques
- Keywords
- fact-checking, large language models, grounding, evidence verification, synthetic training data, retrieval-augmented generation, factual errors
About these checks
Registry, retraction, Cites and statistics results are computed, not judged, with one exception: a printed reference that no index lists is read once by a model before it counts as a citation error. Claims are extracted by a model and kept only when their quote appears verbatim in the text; each cited source is then checked, with a model’s help, for whether it says what the claim relies on. Those verdicts can be wrong — read the claim’s quote and the cited source before relying on one.
Claims read by deepseek-v4.1-flash under definition version 3 (extract-v3) on 2026-10-23.
Classified by jev-1.13-20260917 (gold-guideline-v0.2) on 2026-10-23.
Cited sources are checked by gpt-6-sol.
Statistics and arithmetic are recomputed, not judged.
Confidence bands are shown only for fields calibrated on our annotated test set. None is calibrated yet, so no band is shown.
What counts as a claim ›How we measure confidence ›How we check this ›
Are you an author, or do you see a problem with this page? Request a review