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)
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 |
|---|---|---|---|---|
| 10,983 | CEDAR: A System for Cost-Efficient Data-Driven Claim Verification | 2025 | VLDB | 5.093636e-05 |
Previous
Page 1 / 1
Next
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.0024089429 |
| 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 |
| 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 |
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 11,036 | ClaimIt: Finding Convincing Views to Endorse a Claim | 2025 | VLDB |
| 2 | 9,155 | Adda: Towards Efficient in-Database Feature Generation via LLM-based Agents | 2025 | SIGMOD |
| 3 | 10,724 | LLM-Matcher: A Name-Based Schema Matching Tool using Large Language Models | 2025 | SIGMOD |
| 4 | 10,318 | In-context Clustering-based Entity Resolution with Large Language Models: A Design Space Exploration | 2026 | SIGMOD |
| 5 | 9,024 | Demonstrating SQLBarber: Leveraging Large Language Models to Generate Customized and Realistic SQL Workloads | 2025 | SIGMOD |
| 6 | 7,633 | AggChecker: A Fact-Checking System for Text Summaries of Relational Data Sets | 2019 | VLDB |
| 7 | 5,077 | Verifying Text Summaries of Relational Data Sets | 2019 | SIGMOD |
| 8 | 9,491 | CEDA: Learned Cardinality Estimation with Domain Adaptation | 2023 | VLDB |
| 9 | 4,963 | Scrutinizer: Fact Checking Statistical Claims | 2020 | VLDB |
| 10 | 10,983 | CEDAR: A System for Cost-Efficient Data-Driven Claim Verification | 2025 | VLDB |