TY  - RPRT
TI  - Automatic Verification of Floating-Point Accumulation Networks
AU  - David K. Zhang
AU  - Alex Aiken
PY  - 2025
UR  - https://arxiv.org/abs/2505.18791
ID  - 2505.18791
ER  -