@misc{indiciaebcc3dfe73db2,
  title = {Bridging Neural ODE and ResNet: A Formal Error Bound for Safety Verification},
  author = {Abdelrahman Sayed Sayed and Pierre-Jean Meyer and Mohamed Ghazel},
  year = {2025},
  url = {https://arxiv.org/abs/2506.03227},
  note = {Source identifier: 2506.03227}
}