@misc{indiciaea1938597ea69,
  title = {Are Safety Guarantees in Neural Networks Safe? How to Compute Trustworthy Robustness Certifications},
  author = {Merkouris Papamichail and Konstantinos Varsos and Giorgos Flouris and João Marques-Silva},
  year = {2026},
  url = {https://arxiv.org/abs/2606.23858},
  note = {Source identifier: 2606.23858}
}