@article{advancingneuralnetworkverificationthroug,
  title = {Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation},
  author = {Luca Marzari and Isabella Mastroeni and Alessandro Farinelli},
  year = {2025},
  eprint = {2505.05235},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2505.05235v1},
}