TY  - RPRT
TI  - A Mathematics-Guided Approach to Floating-Point Error Detection
AU  - Youshuai Tan
AU  - Zhanwei Zhang
AU  - Zishuo Ding
AU  - Lianyu Zheng
AU  - Jinfu Chen
AU  - Weiyi Shang
PY  - 2025
UR  - https://arxiv.org/abs/2510.10081
ID  - 2510.10081
ER  -