Tenspiler: A Verified Lifting-Based Compiler for Tensor Operations.

Jie Qiu Colin Cai Sahil Bhatia Niranjan Hasabnis Sanjit A. Seshia Alvin Cheung

Published in: CoRR (2024)

Keyphrases

high order
wavelet transform
general purpose
higher order
dimensionality reduction
database
multiscale
multiresolution
programming language
human brain
tensor product