Chrome Extension

WeChat Mini Program

Use on ChatGLM

Log in

Academic Profile User Profile

My Following Paper Collections Browse History

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

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

ECOOP（2024）

Cited 0|Views17

AI Read Science

Must-Reading Tree

Example

Generate MRT to find the research sequence of this paper

Chat Paper

Summary is being generated by the instructions you defined