@inproceedings{ibrahim2025saiv,
  title={Bridging neural ode and resnet: A formal error bound for safety verification},
  author={Sayed, Abdelrahman Sayed and Meyer, Pierre-Jean and Ghazel, Mohamed},
  booktitle={International Symposium on AI Verification},
  pages={97--114},
  year={2025},
}