Tensor Program Superoptimization through Cost-Guided Symbolic Program Synthesis. - Alexander Brauckmann; Aarsh Chaube; José Wesley de S. Magalhães; Elizabeth Polgreen; Michael F. P. O'Boyle (CGO, 2026)