Automated Detection and Repair of Floating-point Precision Problems in Convolutional Neural Network Operators. - Jiawei Liu; Xufan Zhang; Lurong Xu; Chunrong Fang; Mingzheng Gu; Weisi Luo; Dong Chai; Jiang Wang; Zhihong Zhao; Zhenyu Chen 001 (ACM Trans. Softw. Eng. Methodol., 2025)