TY - RPRT TI - Efficient Error Certification for Physics-Informed Neural Networks AU - Francisco Eiras AU - Adel Bibi AU - Rudy Bunel AU - Krishnamurthy Dj Dvijotham AU - Philip Torr AU - M. Pawan Kumar PY - 2024 UR - https://arxiv.org/abs/2305.10157 ID - 2305.10157 ER -