Zuoyan Zhang, Jinchen Xu, Jiangwei Hao, Yang Qu, Haotian He, Bei Zhou. Hierarchical search algorithm for error detection in floating-point arithmetic expressions. The Journal of Supercomputing, 80(1):1183-1205, January 2024. [doi]
Abstract is missing.