23:28
2026-10-05
arxiv.org
ai-research
The Output-Space Hypothesis:Enumerative Equivalence Checking for Tensor Programs
A September 17, 2026 arXiv paper proposes the Output-Space Hypothesis, an enumerative equivalence-checking approach implemented in a system called Dirigo that flips the standard quantifier order to ch…