@misc{indiciaed139bbea15b2,
  title = {Verifying Global Two-Safety Properties in Neural Networks with Confidence},
  author = {Anagha Athavale and Ezio Bartocci and Maria Christakis and Matteo Maffei and Dejan Nickovic and Georg Weissenbacher},
  year = {2024},
  url = {https://arxiv.org/abs/2405.14400},
  note = {Source identifier: 2405.14400}
}