Unleashing the Power of Equality Saturation for Tensor Program Superoptimization

Qi Zhan, Xing Hu, Xin Xia +1

Efficient GPU implementations of tensor programs often require joint optimization of high-level algebraic formulations and low-level execution strategies. However, the resulting se…