Automated Detection and Repair of Floating-point Precision Problems in Convolutional Neural Network Operators. - Liu, Jiawei; Zhang, Xufan; Xu, Lurong; Fang, Chunrong; Gu, Mingzheng; Luo, Weisi; Chai, Dong; Wang, Jiang; Zhao, Zhihong; Chen, Zhenyu (ACM Transactions on Software Engineering & Methodology, 2025)