The Output-Space Hypothesis: Enumerative Equivalence Checking for Tensor Programs

Paul Biberstein, Joseph Devietti, Mayur Naik

Tensor programs, as used in deep learning models, are a prime target for optimization, as small performance improvements can have a large impact across training or inference worklo…