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

1 pointsposted 10 hours ago
by matt_d
(arxiv.org)

No comments yet