@misc{indiciaead11ed49d32c,
  title = {Advancing Neural Network Verification through Hierarchical Safety Abstract Interpretation},
  author = {Luca Marzari and Isabella Mastroeni and Alessandro Farinelli},
  year = {2025},
  url = {https://arxiv.org/abs/2505.05235},
  note = {Source identifier: 2505.05235}
}