TY  - RPRT
TI  - Verifying Global Two-Safety Properties in Neural Networks with Confidence
AU  - Anagha Athavale
AU  - Ezio Bartocci
AU  - Maria Christakis
AU  - Matteo Maffei
AU  - Dejan Nickovic
AU  - Georg Weissenbacher
PY  - 2024
UR  - https://arxiv.org/abs/2405.14400
ID  - 2405.14400
ER  -