The Output-Space Hypothesis: Enumerative Equivalence Checking for Tensor Programs
DGX agentarXiv:2609.19611v1 Announce Type: cross Abstract: Tensor programs, as used in deep learning models, are a prime target for optimization, as small performance improvements can have a large impact acros