PET PET: Optimizing Tensor Programs with Partially Equivalent Transformations and Automated Corrections ODSI' 21 AE See README.pdf for detail.