TY  - RPRT
TI  - Are Safety Guarantees in Neural Networks Safe? How to Compute Trustworthy Robustness Certifications
AU  - Merkouris Papamichail
AU  - Konstantinos Varsos
AU  - Giorgos Flouris
AU  - João Marques-Silva
PY  - 2026
UR  - https://arxiv.org/abs/2606.23858
ID  - 2606.23858
ER  -