@misc{indiciaebcef3f54fa84,
  title = {The Cost of Relaxation: Evaluating the Error in Convex Neural Network Verification},
  author = {Merkouris Papamichail and Konstantinos Varsos and Giorgos Flouris and João Marques-Silva},
  year = {2026},
  url = {https://arxiv.org/abs/2604.18728},
  note = {Source identifier: 2604.18728}
}