Tensorize: Fast Synthesis of Tensor Programs from Legacy Code using Symbolic Tracing, Sketching and Solving.

Alexander Brauckmann, Luc Jaulmes, Jos Wesley de Souza Magalhes, Elizabeth Polgreen, Michael F. P. O'Boyle

Browse the full CGO paper archive.