Verified Lifting of Deep learning Operators

Qi Zhan, Xing Hu, Xin Xia +1

Deep learning operators are fundamental components of modern deep learning frameworks. With the growing demand for customized operators, it has become increasingly common for devel…