$\partial$-CROWN: Verification for Physics-Informed Neural Networks

Code associated with the paper "Efficient Error Certification for Physics-Informed Neural Networks" published at ICML 2024.

If you use it in your work, please cite the following:

@inproceedings{
  eiras2024efficient,
  title={Efficient Error Certification for Physics-Informed Neural Networks},
  author={Francisco Eiras and Adel Bibi and Rudy R Bunel and Krishnamurthy Dj Dvijotham and Philip Torr and M. Pawan Kumar},
  booktitle={Forty-first International Conference on Machine Learning},
  year={2024},
  url={https://openreview.net/forum?id=5t4V7Q6lmz}
}

This work was supported by the EPSRC Centre for Doctoral Training in Autonomous Intelligent Machines and Systems [EP/S024050/1], by Five AI Limited, by the UKRI grant: Turing AI Fellowship EP/W002981/1, and by the Royal Academy of Engineering under the Research Chair and Senior Research Fellowships scheme.