Scalable Detection of Floating-Point Errors via Adaptive Parallel Subdomain Search. - Zuoyan Zhang; Shihan Yuan; Hongru Yang; Jie Zhao 002; Jinchen Xu (QRS, 2025)