TY  - RPRT
TI  - Verifying Floating-Point Programs in Stainless
AU  - Andrea Gilot
AU  - Axel Bergström
AU  - Eva Darulova
PY  - 2026
UR  - https://arxiv.org/abs/2601.14059
ID  - 2601.14059
ER  -