TY  - RPRT
TI  - Numerical Fuzz: A Type System for Rounding Error Analysis
AU  - Ariel E. Kellison
AU  - Justin Hsu
PY  - 2025
DO  - 10.1145/3656456
UR  - https://arxiv.org/abs/2405.04612
ID  - 2405.04612
ER  -