Mind the Abstraction Gap: Bringing Equality Saturation to Real-World ML Compilers. - Arya Vohra; Leo Seojun Lee; Jakub Bachurski; Oleksandr Zinenko; Phitchaya Mangpo Phothilimthana; Albert Cohen 001; William S. Moses (Proc. ACM Program. Lang., 2025)