TeIL: a type-safe imperative tensor intermediate language
Norman A. Rink, Jerónimo Castrillón · 2019
Each of the popular tensor frameworks from the machine learning domain comes with its own language for expressing tensor kernels. Since these tensor languages lack precise specifications, it is impossible to understand and reason about tensor kernels that exhibit unexpected behaviour. In this paper, we give examples of such kernels.