VerifAI: Verified Generative AI
Summary: Proposes VerifAI: verify generative-model outputs by auditing the underlying multimodal data lake (text, tables, knowledge graphs) for provenance, quality, and consistency. Outlines data-management primitives (validation, lineage, constraints) to make outputs auditable and correctable. (summarized by gpt-5-mini on Feb 09 2026)
Incoming Non-self Citations Over Time
Authors
- 1. Nan Tang (Hong Kong University of Science and Technology)
- 2. Chenyu Yang (Hong Kong University of Science and Technology)
- 3. Ju Fan (Renmin University of China)
- 4. Lei Cao (Massachusetts Institute of Technology; University of Arizona)
- 5. Yuyu Luo (Hong Kong University of Science and Technology)
- 6. Alon Halevy (Meta)
BibTeX Citation
@inproceedings{tang_cidr24,
address = {Amsterdam, Netherlands},
series = {{CIDR} '24},
title = {{VerifAI: Verified Generative AI}},
booktitle = {Proceedings of the {Conference} on {Innovative} {Data} {Systems} {Research}},
author = {Tang, Nan and Yang, Chenyu and Fan, Ju and Cao, Lei and Luo, Yuyu and Halevy, Alon},
year = {2024}
}Incoming Citations (Sorted by Pagerank)
Showing 6 of 6 citing papers.
| Rank | Citing Paper | Year | Venue | Pagerank |
|---|---|---|---|---|
| 2,348 | The Dawn of Natural Language to SQL: Are We Fully Ready? | 2024 | VLDB | 8.6009821e-05 |
| 3,263 | Automatic Data Repair: Are We Ready to Deploy? | 2024 | VLDB | 7.4809771e-05 |
| 5,495 | HAIChart: Human and AI Paired Visualization System | 2024 | VLDB | 6.1056297e-05 |
| 7,583 | Data Imputation with Limited Data Redundancy Using Data Lakes | 2025 | VLDB | 5.4906208e-05 |
| 9,210 | Natural Language to SQL: State of the Art and Open Problems | 2025 | VLDB | 5.2061511e-05 |
| 9,912 | FusionQuery: On-demand Fusion Queries over Multi-source Heterogeneous Data | 2024 | VLDB | 5.1103839e-05 |
Previous
Page 1 / 1
Next
Outgoing Citations (Sorted by Pagerank)
Showing 20 of 20 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
Previous
Page 1 / 1
Next
Semantically Similar Papers
| # | Overall Rank | Paper | Year | Venue |
|---|---|---|---|---|
| 1 | 5,138 | Verifying Text Summaries of Relational Data Sets | 2019 | SIGMOD |
| 2 | 8,759 | VeriBench: Analyzing the Performance of Database Systems with Verifiability | 2023 | VLDB |
| 3 | 11,854 | OpenTFV: An Open Domain Table-Based Fact Verification System | 2022 | SIGMOD |
| 4 | 10,841 | Bolt-on, Verifiable Provenance for LLM-Powered Data Processing | 2026 | VLDB |
| 5 | 1,308 | Automating Large-Scale Data Quality Verification | 2018 | VLDB |
| 6 | 7,885 | Semantic Integrity Constraints: Declarative Guardrails for AI-Augmented Data Processing Systems | 2025 | VLDB |
| 7 | 5,178 | Explainable AI: Foundations, Applications, Opportunities for Data Management Research | 2022 | SIGMOD |
| 8 | 4,557 | Databases Unbound: Querying All of the World’s Bytes with AI | 2024 | VLDB |
| 9 | 13,668 | Turning Databases Into Generative AI Machines | 2024 | CIDR |
| 10 | 10,893 | Developing and Benchmarking Verification Algorithms to Improve Text-to-SQL Generation | 2026 | VLDB |