TY  - RPRT
TI  - Floating-Point Neural Network Verification at the Software Level
AU  - Edoardo Manino
AU  - Bruno Farias
AU  - Rafael Sá Menezes
AU  - Fedor Shmarov
AU  - Lucas C. Cordeiro
PY  - 2026
UR  - https://arxiv.org/abs/2510.23389
ID  - 2510.23389
ER  -