TY - RPRT TI - Certified machine learning: Rigorous a posteriori error bounds for PDE defined PINNs AU - Birgit Hillebrecht AU - Benjamin Unger PY - 2022 DO - 10.1109/tnnls.2023.3335837 UR - https://arxiv.org/abs/2210.03426 ID - 2210.03426 ER -