2 papers
cs.CR2025
HEIR: A Universal Compiler for Homomorphic Encryption
Asra Ali, Jaeho Choi, Bryant Gipson +7
This work presents Homomorphic Encryption Intermediate Representation (HEIR), a unified approach to building homomorphic encryption (HE) compilers. HEIR aims to support all mainstr…
cs.DB2025
LLM-SQL-Solver: Can LLMs Determine SQL Equivalence?
Fuheng Zhao, Jiayue Chen, Lawrence Lim +3
Judging the equivalence between two SQL queries is a fundamental problem with many practical applications in data management and SQL generation (i.e., evaluating the quality of gen…