REFTY: Refinement Types for Valid Deep Learning Models
- Creator: Gao, Yanjie , Li, Zhengxian , Lin, Haoxiang , Zhang, Hongyu , Wu, Ming , Yang, Mao
- Resource Type: conference paper
- Date: 2022
Estimating GPU memory consumption of deep learning models
- Creator: Gao, Yanjie , Liu, Yu , Zhang, Hongyu , Li, Zhengxian , Zhu, Yonghao , Lin, Haoxiang , Yang, Mao
- Resource Type: conference paper
- Date: 2020