CEDAR: A System for Cost-Efficient Data-Driven Claim Verification

Summary: CEDAR verifies claims embedded in documents by translating them into SQL, exploiting claimed values to guide translation beyond standard text-to-SQL. A cost-based cascade orders LLM and agentic methods with retries, trading verification accuracy against invocation cost. (summarized by gpt-5.6-luna on Jul 24 2026)

Paper ID: 14249
Venue: VLDB
Year: 2025
Pagerank: 5.093636e-05
Overall Rank: 10,983 | 24.65%
DOI: 10.14778/3749646.3749708

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

1. Tharushi Jayasekara (Cornell University)
2. Immanuel Trummer (Cornell University)

BibTeX Citation

@article{jayasekara_vldb25,
        title = {{CEDAR: A System for Cost-Efficient Data-Driven Claim Verification}},
        author = {Jayasekara, Tharushi and Trummer, Immanuel},
        journal = {PVLDB},
        series = {{VLDB} '25},
        volume = {18},
        number = {11},
        pages = {4492--4504},
        doi = {10.14778/3749646.3749708},
        url = {https://doi.org/10.14778/3749646.3749708},
        year = {2025}
}

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

Outgoing Citations (Sorted by Pagerank)

Showing 13 of 13 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
1	Access Path Selection in a Relational Database Management System	1979	SIGMOD	0.0024089429
279	Text-to-SQL Empowered by Large Language Models: A Benchmark Evaluation	2024	VLDB	0.00022468369
459	ATHENA: An Ontology-Driven System for Natural Language Querying over Relational Data Stores	2016	VLDB	0.00018101318
555	NaLIR: An Interactive Natural Language Interface for Querying Relational Databases	2014	SIGMOD	0.00016568053
2,428	ClaimBuster: The First-ever End-to-end Fact-checking System	2017	VLDB	8.5897309e-05
3,127	Toward Computational Fact-Checking	2014	VLDB	7.7308958e-05
4,963	Scrutinizer: Fact Checking Statistical Claims	2020	VLDB	6.4260475e-05
5,077	Verifying Text Summaries of Relational Data Sets	2019	SIGMOD	6.3730257e-05
5,548	Mining an "Anti-Knowledge Base" from Wikipedia Updates with Applications to Fact Checking and Beyond	2020	VLDB	6.1790655e-05
5,937	Perturbation Analysis of Database Queries	2016	VLDB	6.0350628e-05
7,627	Buckle: Evaluating Fact Checking Algorithms Built on Knowledge Bases	2019	VLDB	5.5798467e-05
7,628	User Guidance for Efficient Fact Checking	2019	VLDB	5.5798467e-05
10,717	Demonstrating CEDAR: A System for Cost-Efficient Data-Driven Claim Verification	2025	SIGMOD	5.093636e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	10,572	Relational Deep Dive: Error-Aware Queries Over Unstructured Data	2026	VLDB
2	10,318	In-context Clustering-based Entity Resolution with Large Language Models: A Design Space Exploration	2026	SIGMOD
3	2,428	ClaimBuster: The First-ever End-to-end Fact-checking System	2017	VLDB
4	10,533	SeDA: Bridging the Gap between Efficient Syntactic and Precise Semantic Search of Similar Passages in Large Text Corpora	2026	VLDB
5	3,127	Toward Computational Fact-Checking	2014	VLDB
6	9,491	CEDA: Learned Cardinality Estimation with Domain Adaptation	2023	VLDB
7	4,963	Scrutinizer: Fact Checking Statistical Claims	2020	VLDB
8	7,633	AggChecker: A Fact-Checking System for Text Summaries of Relational Data Sets	2019	VLDB
9	5,077	Verifying Text Summaries of Relational Data Sets	2019	SIGMOD
10	10,717	Demonstrating CEDAR: A System for Cost-Efficient Data-Driven Claim Verification	2025	SIGMOD