Awesome

PET

PET: Optimizing Tensor Programs with Partially Equivalent Transformations and Automated Corrections

ODSI' 21 AE

See README.pdf for detail.