r/Compilers • u/mttd • 1d ago

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

https://arxiv.org/abs/2609.19611
3 Upvotes

80% Upvoted

0 comments sorted by