PETPET: Optimizing Tensor Programs with Partially Equivalent Transformations and Automated CorrectionsODSI' 21 AESee README.pdf for detail.