DialEgg: Dialect-Agnostic MLIR Optimizer using Equality Saturation with Egglog. - Abd-El-Aziz Zayed; Christophe Dubach (CGO, 2025)