@article{provablycorrectphysicsinformedneural,
  title = {Efficient Error Certification for Physics-Informed Neural Networks},
  author = {Francisco Eiras and Adel Bibi and Rudy Bunel and Krishnamurthy Dj Dvijotham and Philip Torr and M. Pawan Kumar},
  year = {2023},
  eprint = {2305.10157},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2305.10157v2},
}