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

Summary: CEDAR maps claims to SQL for automated verification against relational data using LLMs. It dynamically orchestrates zero-shot, iterative/agent-based, and hybrid verification via cost-based optimization, with a demo and customizable datasets. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: h284cd860ec97d36a
Venue: SIGMOD
Year: 2025
Pagerank: 4.9793485e-05
Overall Rank: 11,149 | 25.05%
DOI: 10.1145/3722212.3725098

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

@inproceedings{jayasekara_sigmod25,
        title = {{Demonstrating CEDAR: A System for Cost-Efficient Data-Driven Claim Verification}},
        author = {Jayasekara, Tharushi and Trummer, Immanuel},
        series = {{SIGMOD} '25},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/3722212.3725098},
        url = {https://dl.acm.org/doi/10.1145/3722212.3725098},
        year = {2025}
}

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
11,364	CEDAR: A System for Cost-Efficient Data-Driven Claim Verification	2025	VLDB	4.9793485e-05

Outgoing Citations (Sorted by Pagerank)

Showing 10 of 10 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.0023947656
439	ATHENA: An Ontology-Driven System for Natural Language Querying over Relational Data Stores	2016	VLDB	0.00018251249
536	NaLIR: An Interactive Natural Language Interface for Querying Relational Databases	2014	SIGMOD	0.00016771934
2,482	ClaimBuster: The First-ever End-to-end Fact-checking System	2017	VLDB	8.399913e-05
3,178	Toward Computational Fact-Checking	2014	VLDB	7.5655186e-05
5,138	Verifying Text Summaries of Relational Data Sets	2019	SIGMOD	6.2579762e-05
5,679	Mining an "Anti-Knowledge Base" from Wikipedia Updates with Applications to Fact Checking and Beyond	2020	VLDB	6.0404239e-05
6,056	Perturbation Analysis of Database Queries	2016	VLDB	5.9016482e-05
7,777	Buckle: Evaluating Fact Checking Algorithms Built on Knowledge Bases	2019	VLDB	5.4546499e-05
7,778	User Guidance for Efficient Fact Checking	2019	VLDB	5.4546499e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	7,781	LLM-Matcher: A Name-Based Schema Matching Tool using Large Language Models	2025	SIGMOD
2	10,527	In-context Clustering-based Entity Resolution with Large Language Models: A Design Space Exploration	2026	SIGMOD
3	8,036	Demonstrating SQLBarber: Leveraging Large Language Models to Generate Customized and Realistic SQL Workloads	2025	SIGMOD
4	7,748	AggChecker: A Fact-Checking System for Text Summaries of Relational Data Sets	2019	VLDB
5	10,978	CADENZA in Action: Breaking the Monolith with Intent-Dependent Plan Spaces for Semantic Queries	2026	VLDB
6	5,138	Verifying Text Summaries of Relational Data Sets	2019	SIGMOD
7	9,641	CEDA: Learned Cardinality Estimation with Domain Adaptation	2023	VLDB
8	5,066	Scrutinizer: Fact Checking Statistical Claims	2020	VLDB
9	11,004	LLM-CER: An Interactive System for In-context Clustering-based Entity Resolution with Large Language Models	2026	VLDB
10	11,364	CEDAR: A System for Cost-Efficient Data-Driven Claim Verification	2025	VLDB