Verified tensor-program optimization via high-level scheduling rewrites.

Amanda Liu, Gilbert Louis Bernstein, Adam Chlipala, Jonathan Ragan-Kelley

07 Nov 2025Proc. ACM Program. Lang. 2022EveryoneCC BY-SA 4.0
Loading