1 code implementation • 8 Mar 2024 • Jio Oh, Soyeon Kim, Junseok Seo, Jindong Wang, Ruochen Xu, Xing Xie, Steven Euijong Whang
Our key idea is to construct questions using the database schema, records, and functional dependencies such that they can be automatically verified.