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,117 | The Dawn of Natural Language to SQL: Are We Fully Ready? | 2024 | VLDB | 9.0012524e-05 |
| 3,277 | Automatic Data Repair: Are We Ready to Deploy? | 2024 | VLDB | 7.4527106e-05 |
| 5,520 | HAIChart: Human and AI Paired Visualization System | 2024 | VLDB | 6.0825599e-05 |
| 7,606 | Data Imputation with Limited Data Redundancy Using Data Lakes | 2025 | VLDB | 5.4698748e-05 |
| 9,242 | Natural Language to SQL: State of the Art and Open Problems | 2025 | VLDB | 5.1864799e-05 |
| 9,954 | FusionQuery: On-demand Fusion Queries over Multi-source Heterogeneous Data | 2024 | VLDB | 5.0910746e-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 | 4,904 | Verifying Text Summaries of Relational Data Sets | 2019 | SIGMOD |
| 2 | 8,786 | VeriBench: Analyzing the Performance of Database Systems with Verifiability | 2023 | VLDB |
| 3 | 11,904 | OpenTFV: An Open Domain Table-Based Fact Verification System | 2022 | SIGMOD |
| 4 | 10,912 | Bolt-on, Verifiable Provenance for LLM-Powered Data Processing | 2026 | VLDB |
| 5 | 1,278 | Automating Large-Scale Data Quality Verification | 2018 | VLDB |
| 6 | 7,882 | Semantic Integrity Constraints: Declarative Guardrails for AI-Augmented Data Processing Systems | 2025 | VLDB |
| 7 | 5,201 | Explainable AI: Foundations, Applications, Opportunities for Data Management Research | 2022 | SIGMOD |
| 8 | 4,559 | Databases Unbound: Querying All of the World’s Bytes with AI | 2024 | VLDB |
| 9 | 13,713 | Turning Databases Into Generative AI Machines | 2024 | CIDR |
| 10 | 10,963 | Developing and Benchmarking Verification Algorithms to Improve Text-to-SQL Generation | 2026 | VLDB |