Trinity: Three-Dimensional Tensor Program Optimization via Tile-level Equality Saturation. - Jaehyeong Park; Youngchan Kim; Haechan An; Gieun Jeong; Jeehoon Kang; Dongsu Han (ASPLOS (2), 2026)