Akash Kothari, Dhruv Baronia. TensorEgg: Formally Verifying Rewrite Rules and Applying Them to Tensor Programs. In Proceedings of the IEEE/ACM 14th International Conference on Formal Methods in Software Engineering, FormaliSE 2026, Rio de Janeiro, Brazil, April 12-13, 2026. pages 138-142, ACM, 2026. [doi]
Abstract is missing.