TY  - RPRT
TI  - Synthesizing Backward Error Bounds, Backward
AU  - Laura Zielinski
AU  - Justin Hsu
PY  - 2026
DO  - 10.1145/3808333
UR  - https://arxiv.org/abs/2604.15633
ID  - 2604.15633
ER  -