LLM-generated Schema Matching with Formally Verifiable Explanations

Dante Pinto, Len Feremans, Frank Neven, Marcel Parciak, Stijn Vansummeren. LLM-generated Schema Matching with Formally Verifiable Explanations. In 42nd IEEE International Conference on Data Engineering, ICDE 2026 - Workshops, Montreal, QC, Canada, May 4-8, 2026. pages 176-186, IEEE, 2026. [doi]

Abstract

Abstract is missing.