@article{floatingpointneuralnetworkverificationat,
  title = {Floating-Point Neural Network Verification at the Software Level},
  author = {Edoardo Manino and Bruno Farias and Rafael Sá Menezes and Fedor Shmarov and Lucas C. Cordeiro},
  year = {2025},
  eprint = {2510.23389},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2510.23389},
}