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