Zhengxian Li

According to our database, Zhengxian Li authored at least 3 papers between 2017 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

REFTY: Refinement Types for Valid Deep Learning Models.

Yanjie Gao, Zhengxian Li, Haoxiang Lin, Hongyu Zhang, Ming Wu, Mao Yang

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

2020

Estimating GPU memory consumption of deep learning models.

Yanjie Gao, Yu Liu, Hongyu Zhang, Zhengxian Li, Yonghao Zhu, Haoxiang Lin, Mao Yang

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

2017

The Impact of Profile Coherence on Recommendation Performance for Shared Accounts on Smart TVs.

Tao Lian, Zhengxian Li, Zhumin Chen, Jun Ma

Proceedings of the Information Retrieval - 23rd China conference, 2017