Repository for paper "Automated Validating and Fixing of Text-to-SQL Translation with Execution Consistency" (SIGMOD '25) - View it on GitHub