Mirage: A Multi-Level Superoptimizer for Tensor Programs. - Mengdi Wu; Xinhao Cheng; Shengyu Liu; Chunan Shi; Jianan Ji; Man Kit Ao; Praveen Velliengiri; Xupeng Miao; Oded Padon; Zhihao Jia (OSDI, 2025)