TY  - RPRT
TI  - The Output-Space Hypothesis: Enumerative Equivalence Checking for Tensor Programs
AU  - Paul Biberstein
AU  - Joseph Devietti
AU  - Mayur Naik
PY  - 2026
UR  - https://arxiv.org/abs/2609.19611
ID  - 2609.19611
ER  -