@misc{indiciae19f12d7b6879,
  title = {A Mathematics-Guided Approach to Floating-Point Error Detection},
  author = {Youshuai Tan and Zhanwei Zhang and Zishuo Ding and Lianyu Zheng and Jinfu Chen and Weiyi Shang},
  year = {2025},
  url = {https://arxiv.org/abs/2510.10081},
  note = {Source identifier: 2510.10081}
}